Does anyone have details of the current situation in this area? For example, has ARM recently announced any related product(s)? What products are available for the Cortex -A17, for example? In particular, what are the non-proprietary options, if any?
Xen ARM with Virtualization Extensions - Xen
And for again more details :
Category:XenARM - Xen