The current version of embeddedXEN in the sourceforge git repository enables the boot of a Linux dom0 nearly up to the end; we are still working on the timer IRQ upcall issue (timer IRQ are not visible yet in the guest).


This version also includes the Xenomai code which is gradually *activated*. The port currently consists in removing the tight integration with the I-pipe/adeos kernel. We expect to have something working by end of September.