[Embeddedxen-devel] Last news in the git repository...

[ROSSIER D. <Dan...@he...>]

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.

Cheers
Daniel