drivers/soc/bcm/Kconfig

   1 config RASPBERRYPI_POWER
   2         bool "Raspberry Pi power domain driver"
   3         depends on ARCH_BCM2835 || COMPILE_TEST
   4         depends on RASPBERRYPI_FIRMWARE
   5         select PM_GENERIC_DOMAINS if PM
   6         select PM_GENERIC_DOMAINS_OF if PM
   7         help
   8           This enables support for the RPi power domains which can be enabled
   9           or disabled via the RPi firmware.