news
Ironclad OS project popping out Unix-like kernel in a unique mix of languages
Quoting: Ironclad OS crafts Unix-like kernel in Ada and SPARK —
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 Redox OS. It's not even in one of the other modern C-like languages, such as Drew DeVault's project in his Hare language, which he calls Bunnix.