Kernel-level ARINC 653 partitioning for Linux
XtratuM: a Hypervisor for Safety Critical Embedded Systems