Xen 4.3 released

Xen for ARM does require the virtualization extensions. As others have pointed out, however, it can run on a Chromebook: that was in fact the first platform the team got Xen booting on, because that was the first publicly available hardware with the ARM virtualization extensions. (And, how can you resist the opportunity to expense a bunch of chromebooks?)

The general approach is to use the hardware virtualization and PV where it makes sense to do so. A lot of the pain experienced right now with the pvops kernel on x86 has to do with virtualizing aspects of the hardware that could easily be solved by using the HVM extensions. Having the opportunity to start with a "PVH" mode for ARM should make the whole Xen/Linux relationship much easier.

(See http://blog.xen.org/index.php/2012/10/23/the-paravirtuali... for background information on HVM and PV, and http://blog.xen.org/index.php/2012/10/31/the-paravirtuali... for more information on PVH mode, which is essentially the mode that Xen-for-ARM will start with.)