We just released a new version of embeddedXEN at sourceforge
The EmbeddedXEN project aims at building a single multi-kernel binary image that can be used on ARM platform with hard realtime applications.
Currently, a full integration of the hypervisor, miniOS and Linux kernel has been achieved. However, only miniOS is running as guest OS for the time being.
The ARM port is based on two major contributions: the first attempt from MontaVista, and the excellent work from Samsung which allowed us to speed up the development.
Further information are available at:  https://sourceforge.net/projects/embeddedxen
Next work will be (simplified roadmap):
Please be aware that the project still remains at an experimental and academic stage.
Any interest in making some contributions are welcome.
Kind regards