EmbeddedXEN results from several Years of Research in the field of embedded virtualization for ARM-based CPUs.
It is a virtualization framework based on the XEN philosophy on some parts, devoted to ARM cores with an entirely revisited architecture tailored to embedded systems where resources are limited. In particular, EmbeddedXEN deals with the heterogeneity of ARM-based devices, meaning that cross-compiled OS and applications intended to run on a particular ARM platform can be ported on a different platform with more recent ARM CPUs without requiring any modification in user applications.
EmbeddedXEN is available at sourceforge: EmbeddedXEN 2.0
This project has been initiated and is under current development at the Reconfigurable Embedded Digital Systems (REDS) Institute of HEIG-VD, Switzerland. It is hosted on Sourceforge at https://sourceforge.net/projects/embeddedxen/.