Linux-based memory efficient ARINC 653 partition scheduler
Full virtualization based ARINC 653 partitioning