kernelconfig_penguin

Versatile Express SPC based CPUfreq driver

modulename: vexpress-spc-cpufreq.ko
configname: CONFIG_ARM_VEXPRESS_SPC_CPUFREQ

Linux Kernel Configuration
└─> Power management and ACPI options
└─> CPU Frequency scaling
└─> Versatile Express SPC based CPUfreq driver

This add the CPUfreq driver support for Versatile Express
big.LITTLE platforms using SPC for power management.


source code:


drivers/cpufreq/vexpress-spc-cpufreq.c