Support for ARM big.LITTLE processors

modulename: cpuidle-big_little.ko

configname: CONFIG_ARM_BIG_LITTLE_CPUIDLE

Linux Kernel Configuration
└─>Support for ARM big.LITTLE processors
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Select this option to enable CPU idle driver for big.LITTLE based
ARM systems. Driver manages CPUs coordination through MCPM and
define different C-states for little and big cores through the
multiple CPU idle drivers infrastructure.

source code: