SCMI power domain driver

modulename: scmi_pm_domain.ko

configname: CONFIG_ARM_SCMI_POWER_DOMAIN

Linux Kernel Configuration
└─>Firmware Drivers
└─>SCMI power domain driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This enables support for the SCMI power domains which can be
enabled or disabled via the SCP firmware

This driver can also be built as a module. If so, the module
will be called scmi_pm_domain. Note this may needed early in boot
before rootfs may be available.

source code:

depends
CONFIG_ARM_SCMI_PROTOCOL or CONFIG_COMPILE_TEST
CONFIG_OF