LynxOS
Under the name Lynx Real Time Systems, the company developed in 1986 in Dallas, a first version for the Motorola 68010 architecture, and thus the first fully POSIX- compatible real-time system. Between 1988 and 1989, LynxOS was ported to the Intel 80386 platform and finally received full ABI compatibility with UNIX System V Release 3 in 1989 and with Linux as of version 4.0.
In 2003, the development was divided into the main branch LynxOS and the branch LynxOS-178, which meets special requirements of avionics and certifiability to DO-178B guaranteed. For this purpose, it fulfills the formal requirements for SW Requirement Process, SW Design Process, SW Coding Process & SW Integration Process as well as the functional requirements for error containment, which correspond to requirements for the SW architecture.