There's KVM paravirtualization support for ARM, and the Cortex-A15 supports hardware virtualization (and probably all the 64-bit ARM processors will, too).