on features while retaining the safety and security benefit of PikeOS. LynuxWorks is providing and extending the LynxSecure separation kernel hypervisor as a foundational security/safety technology for D-MILS in an effort ???to extend the MILS architectural approach to support distributed real-time communication systems for aerospace, transportation, communications and other industries,??? he says