One method will simply be through the existing frequency/voltage switching mechanism. So the A7 will have a few low frequencies and the A15 has a few high frequencies. The cpufreq module in the kernel sees one list. The governor decides on a frequency to use based on workload and the chip (and firmware?) will transparently switch between cores.