Lynx Software Technologies provides platform architectures including the LynxOS real-time operating system, the LynxSecure separation kernel hypervisor, and the LYNX MOSA.ic modular development framework. These solutions are designed to leverage hardware memory protection and CPU virtualization for high-assurance computing.
LynxOS-178 is a native POSIX® hard real-time partitioning operating system developed and certified to FAA DO-178C DAL A safety standards. It also received the first and only FAA Reusable Software Component certificate for an RTOS, making it ideal for avionic development.
LYNX MOSA.ic is a software framework that leverages CPU virtualization to simplify platform abstraction layers. It provides a modular development and integration framework for rapidly building safe, secure, and reliable software systems from independent application modules, significantly reducing the development cycle.
LynxSecure is a separation kernel hypervisor designed to satisfy real-time, high assurance computing requirements. It supports Arm, PowerPC, and x86 platforms, providing robust isolation for critical applications.