Add Ironclad OS

[streaksu]

Description

Adds Ironclad, 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.

Relevant Links

• Ironclad.
• Gloire, the Ironclad distribution from the screenshot below.

Screenshots

Additional context

Diff is deceptively big due to tabulating the OS and distro lists.

[streaksu]

Actually, I just noticed this is horribly broken, the term code changes will make any Linux host report gcon as the terminal. This is why I should test stuff better! I am sorry, I will fix it right now