Hi Sam,
 
I read from the above document that Xenomai was a guest OS on top of EmbeddedXEN.
https://lists.sourceforge.net/lists/listinfo/embeddedxen-devel


I think, xenomai's files are used in many VMMs for ARM, as far as I know.
They are included in the Source Code, I guess!


--
Regards :: Krishna Pavan