We are currently working out a new version of EmbeddedXEN with some important changes including novel approach to deal with ARM cores and various platforms.
Unfortunately, we will not release the code until we publish our work through some publications in order to protect our work.
This is foreseen by end of this Year. As soon as we officially published our work, we will release the whole framework including support for ARM v5, v6 and v7 cores (also HTC Desire, HTC Desire HD).
Some exciting features will also be implemented.
Thanks for your understanding and your patience; stay tuned.