x86 virtualization is pretty nasty because it was tacked on long after the architecture was developed. The ARMv7, and especially ARMv8 virtualization, is a lot

x86 virtualization is pretty nasty because it was tacked on long after the architecture was developed. The ARMv7, and especially ARMv8 virtualization, is a lot cleaner, with less "nasty corners in the hypervisor." https://wiki.xenproject.org/wiki/Xen_ARM_with_Virtualization_Extensions https://wiki.xenproject.org/wiki/Xen_ARM_with_Virtualization... There's stuff that can be cut out of x86, but it's still just a somewhat sharp bit of code, with lots of weird corners, compared to ARM virtualization.