Linux-based memory efficient ARINC 653 partition scheduler
Kernel-level ARINC 653 partitioning for Linux