Ironclad OS project popping out Unix-like kernel in a unique mix of languages

There's more to safer systems languages than Rust

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....