RTOS family
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.
BlueCat® Embedded Linux—Linux OS enhanced for embedded systems ranging from small consumer-type devices to large-scale multi-application systems.