Versatile Express SPC based CPUfreq driver

modulename: vexpress-spc-cpufreq.ko

configname: CONFIG_ARM_VEXPRESS_SPC_CPUFREQ

Linux Kernel Configuration
└─>Versatile Express SPC based CPUfreq driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This add the CPUfreq driver support for Versatile Express
big.LITTLE platforms using SPC for power management.

source code: