The emulator is qemu-based, and so is kvm. And, luckily the Cortex-A15 feature list has "hardware virtualization". And, quick googling shows there's ARM virtual

The emulator is qemu-based, and so is kvm. And, luckily the Cortex-A15 feature list has "hardware virtualization". And, quick googling shows there's ARM virtualization support for linux. And, this has already been done for android/x86. So all the major bits and pieces are there.