I read from the above document that Xenomai was a guest OS on top of EmbeddedXEN. But it seems that it is no longer available in the latest 2.0 release. Is it true?
Is there a more detailed technical report on the integration of Xenomai as a guest OS besides the PPT document?