Ironclad

Ironclad is a partially formally verified kernel with a small footprint for general-purpose and embedded OSes, written in SPARK and Ada. It is made to be 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

A familiar POSIX-compatible interface.
True simultaneous multitasking.
Resiliency and small footprint.
Partial gold-level formal verification.
Advanced cryptography and a security-centered architecture, including Mandatory Access Control (MAC).
Hard real-time scheduling and real-time oriented features.
Support for severals architectures and boards.

News

2023-Sep-1: New domain: ironclad.cx

I've acquired https://ironclad.cx, my intention with that domain is to use it as the main website of the project, with mirrors for the project's repos and other tools, and maybe a mail server, imitating kernel.org.

Those services will be rolled out slowly, as I am not the best with web stuff, I will learn that slowly, for now, it will be a redirect to https://ironclad.nongnu.org with cool email stuff.

When linking people to the project, please use https://ironclad.cx instead of https://ironclad.nongnu.org from now on, thank you!

2023-Aug-31: Ironclad 0.4.0 released!

This release brings a lot of improvements on almost all subsystems of the kernel.

This is a non-exhaustive list of the big changes included in this release:

Formally verified big chunks of architecture-independent code for AoRTE, SPARKified what was not verified.
Improved mandatory access control (MAC).
Reworked syscall mechanism for x86_64-multiboot2, with big performance gains.
Added a hardware watchdog framework.
Implement UIDs, limits, and corefile dumping.
Start work on an arm-raspi2 port.
Improved filesystem support, work started on QNXFS.

Tarballs for this release are available here: https://download.savannah.nongnu.org/releases/ironclad/

Please contact me directly regarding questions or comments about this release at streaksu@protonmail.com.

All news

Further news can be read here.

Releases

Ironclad uses semantic versioning. Support thru major versions, porting bug fixes, will be done in a case-by-case basis time period, but for no shorter than 6 months since release.

All releases and their signatures can be found at the main repository. Here's a table of the latest releases:

Version	Released	End of life	Downloads	Documentation
0.4.0	2023-Aug-31	Not stable	[.tar.gz] [.sig]	[html] [pdf]
0.3.0	2023-Apr-02	Not stable	[.tar.gz] [.sig]
0.2.0	2022-Nov-16	Not stable	[.tar.gz] [.sig]

All releases are signed using PGP, please check the signatures before using the downloaded tarballs. The release keyring can be found here.

Who uses Ironclad?

Some distributions use Ironclad as its kernel, for example, visit Gloire, a general purpose desktop OS using Ironclad along GNU userland tools.

Thanks to