Raspberry Pi power domain driver
modulename: raspberrypi-power.ko
configname: CONFIG_RASPBERRYPI_POWER
Linux Kernel Configuration
└─>Device Drivers
└─>SOC (System On Chip) specific Drivers
└─>Broadcom SoC drivers
└─>Device Tree and Open Firmware support
└─>Raspberry Pi power domain driver
In linux kernel since version 3.10 (release Date: 2013-06-30)
This enables support for the RPi power domains which can be enabled
or disabled via the RPi firmware.
or disabled via the RPi firmware.