Within the forthcoming Linux 3.7 kernel there is support for Xen virtualization support on ARM when using a Cortex-A15 SoC. While not yet merged to mainline, KVM virtualization support for the ARM architecture is also coming about...
I haven't read the source yet, I know I'm lazy, but the A15 is based of the ARMv7-A instruction set, as is the A7. Both support hardware virtualization. So is this support specific for A15 now? Or is the Cotrex-A15 one of the cores that implements said support, because it supports the ARMv7-A instruction set?