EmbeddedXEN is an academic project and consists of a single multi-kernel ARM-target binary image with support for hard-realtime applications (domU-RT). Feasibility and performance evaluation of embedded virtualization are the primary objectives.
Platform: Linux; License: GNU General Public (GPL)
Reference:https://sourceforge.net/apps/mediawiki/embeddedxen/index.php