The Ironclad Operating System Kernel

by Cristian Simon (Streaksu)
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.

Fund this project

ironclad-os.org codeberg.org/Ironclad/Ironclad

License

Tags

Unverified URL

The funding manifest has not provided proof via wellKnown that this link is associated with it. Learn more.

Continue