https://www.lynx.com/products/lynxos-178-do-178c-certified-posix-rtos
LynxOS-178: DO-178C & DO-356 Certified POSIX RTOS for Avionics & Safety-Critical Systems
Commercial-off-the-shelf POSIX, hard real time partitioning operating system developed and certified to FAA DO-178C DALA safety standards.
lynxoscertifiedposixrtosavionics