X-hyp free is a Open Source hypervisor based on a micro-kernel architecture with para-virtualisation.
X-hyp is distributed under a GPLv2.
X-hyp already has support ARM-9 Cortex-M3 and Cortex-A8 processor, has drivers for PL1x UART and is ready to use inside of QEMU versatile and realview and on a iMX25 development board.
X-Hyp has support for several scheduler, POSIX FIFO, POSIX RR and Sporadic and it support GPOS or RTOS domains.
Next steps are :
- to add support for more devices...