kernelconfig_penguin
is selected by
CONFIG_ARM_PSCI_CPUIDLE

is depended by
CONFIG_ARM_PSCI

CONFIG_ARM_PSCI_FW (not configurable)

modulename: psci.ko
configname: CONFIG_ARM_PSCI_FW

Linux Kernel Configuration
└─> Firmware Drivers
└─> ARM_PSCI_FW


source code:


drivers/firmware/psci/psci.c