Linux support for ARM big.LITTLE

in the existing scheduler, a busy core is a signal for other cores to pull load from it. Unless you have individual threads that max out the slow CPU, this should just work. This includes moving load to the slower cores.

the userspace power management daemon should look at the load and make decisions on what cores to power up/down or speed up/slow down.

Part of powering down a core is telling the system to pull all of the load from that core.