Kernel-level ARINC 653 partitioning for Linux
Full virtualization based ARINC 653 partitioning