From xen-devel mailing list,
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