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, and is distributed under the GPLv3 or Later license.
Some of the supported features are:
Further news can be read here.
Ironclad uses semantic versioning. Support and bug fixes will be done for major versions for no shorter than 6 months since release, to be extended as seen fit.
Version | Released | End of life | Downloads |
---|---|---|---|
0.5.0 | 2023-Oct-31 | Not stable | [.tar.gz] [.sig] |
0.4.0 | 2023-Aug-31 | Not stable | [.tar.gz] [.sig] |
0.3.0 | 2023-Apr-02 | Not stable | [.tar.gz] [.sig] |
All releases are signed using PGP, please check the signatures before using the downloaded tarballs using the release keyring.
Some distributions use Ironclad as its kernel, for example, visit Gloire, a general purpose desktop OS using Ironclad along GNU userland tools. Here are some images of Gloire: