A standard QEMU tree with KVM for ARM patches