Generic ARM big LITTLE CPUfreq driver

modulename: arm_big_little.ko

configname: CONFIG_ARM_BIG_LITTLE_CPUFREQ

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>Generic ARM big LITTLE CPUfreq driver
In linux kernel since version 3.1 (release Date: 2011-10-24)  
This enables the Generic CPUfreq driver for ARM big.LITTLE platforms.

source code: