Integrity OS

wikipedia:Integrity (operating system)

• Green Hills Software

• ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale, and x86.
• wolfSSL
• DO-178B
• F35, Airbus A380
• Dynamic memory allocation
• EAL-6

• RTOS, Integrity, FreeRTOS
• OS: Linux, macOS, Windows, OpenBSD, FreeBSD, NetBSD, Solaris, AIX, Hypervisor, Hyper-converged infrastructure, VxWorks, RTOS, Integrity