LynxSecure Hypervisor for RTOS Virtualization—high-assurance separation kernel and embedded hypervisor for virtualization of multicore real-time, embedded Linux® and Windows® applications.
Virtualization for Embedded Linux—Secure virtualization protects embedded Linux applications in virtualized systems containing multiple Linux, Windows, or real-time applications.
LynxOS® Embedded RTOS—hard real-time operating system (RTOS) with POSIX® conformance and Linux® application support for ultra-reliable real-time systems.
LynxOS-SE RTOS—RTOS with time-space partitioning and ARINC 653 support for safety-critical, medium-assurance real-time systems.