For information, we will release a new version of EmbeddedXEN in the upcoming days which includes a new building environment,
a paravirtualized Linux 2.6.34-dom0, linux-2.6.18-dom0 (improved), and the realtime domain xenomai-2.6.4-domU-RT (few modifications at the moment).
The following machines are supported: mainstone (qemu), versatilepb (qemu), and Colibri/PXA270.
We have also consolidated our xen-guest API which remains simple and introduce low overhead.
As next actions, we will also provide the support for ARM-11 processors (ARMv6) and OMAPx series (ARMv7).