If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally verifiable SPARK subset.

The Ironclad OS project is writing a new Unix-like OS kernel, aimed at small-footprint and embedded systems, and planning to be realtime-capable. For stronger security, it supports Mandatory Access Control (MAC), which is a big-organization style sort of system, as the US National Institute of Standards and Technology describes .

There are quite a few such projects out there. When we searched GitHub for a Unix-like kernel we got 222 results across 23 pages. What is a little different about Ironclad is that it's not in C, nor in C++ like Serenity OS , nor in Rust like

See Full Page