Author: Thom Holwerda
Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom. Version 0.5.0 has been released. This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems. The easiest way to try Ironclad, either virtually or on real hardware, is to use a distribution that uses it – Gloire seems to be the recommended option. Gloire is an OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like gwm. This repository holds scripts and tools to build the OS from the ground up. I had never heard of this project before, but it seems incredibly cool.