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):
- to adapt the source tree in order to support the PXA270/Colibri platform (our first target platform)
- to enable a paravirtualized version of Linux (which will also be inspired from Samsung's work)
- to modify the hypervisor and to create a domainU-RT (Realtime) which will allows XENOMAI applications to run as guest OS (the hypervisor will replace the i-pipe nanokernel)
- to enhance embeddedXEN with more features like grant-table which are currently not used.
- to migrate on an ARM11-based i.M31 platform (phyCORE from Phytec)
Please be aware that the project still remains at an experimental and academic stage.
Any interest in making some contributions are welcome.