Lorenzo,
Looking in the cpuidle code in Linaro’s 13.01
kernel, there are only two idle states supported in the cpuidle/arm_big_little.c,
one is WFI, the other is C1. So to have more than these 2 idle states supported
on a SoC, it looks like I have to create SoC specific CPU idle driver to
replace the arm_big_little.c. Is this the intended design? It would be better
if there is a way the arm_big_little.c can support SoC specific idle sets, via
device tree maybe?