http://www.embeddedcomputingconference.ch/pdf_2010_download/1B2-Rossier.pdf
 
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?