LynxOS® Embedded RTOS—hard real-time operating system (RTOS) for ultra-reliable real-time systems.

LynxOS-SE RTOS—the first and only time-space partitioned RTOS offering POSIX and Linux application support for safety-critical real-time systems.

LynxOS-178 RTOS—the only POSIX®-conformant, DO-178B certifiable RTOS, used extensively in military and aerospace real-time systems.

LynxSecure Separation Kernel—real-time operating system (RTOS) with time-space partitioning and operating-system virtualization.

BlueCat® Embedded Linux—Linux OS enhanced for embedded systems ranging from small consumer-type devices to large-scale, multi-CPU systems.