Ironclad ist ein formal verifizierter, echtzeitfähiger Kernel für allgemeine und eingebettete Verwendungszwecke, der in SPARK und Ada geschrieben ist. Er besteht zu 100 % aus Freier Software und ist somit frei im Sinne der Wahrung der Benutzerfreiheit.
Version 0.5.0 wurde veröffentlicht.
Dieses Release bringt viele Verbesserungen hauptsächlich in den Bereichen Zeitplanung, Zeitmessung, Userland und Netzwerk-Subsysteme.
Der einfachste Weg, Ironclad auszuprobieren, sei es virtuell oder auf echter Hardware, besteht darin, eine Distribution zu verwenden, die ihn nutzt - Gloire scheint die empfohlene Option zu sein.
Gloire ist ein Betriebssystem, das den Ironclad-Kernel verwendet und GNU-Tools für das Benutzerland einsetzt, zusammen mit einigen eigenen Anwendungen wie gwm. Dieses Repository enthält Skripte und Werkzeuge, um das Betriebssystem von Grund auf zu erstellen.
