mainIronclad - Summary

Membership Info
Group Admin:
1 active member

Group identification
Id: 12228
System Name: ironclad
Name: Ironclad
Group Type: non-GNU software and documentation

Search in this Group


This group is not part of the GNU Project.

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.

Registration Date: Sun 13 Mar 2022 09:15:56 PM UTC
License: GNU General Public License v3 or later
Development Status: 2 - Pre-Alpha


Latest News rss feed
Ironclad distributions and the xz-utils backdoor
     posted by streaksu, Sat 30 Mar 2024 04:27:06 AM UTC

xz-utils, a popular set of data compression software tools used by tons of software and operating systems has been actually, unbeknownst to us, maintained by a malicious actor for the past 2+ years, and a backdoor (and potentially more) have been added to it. [...]

Ironclad 0.5.0 released
     posted by streaksu, Tue 31 Oct 2023 03:47:28 PM UTC

This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems.

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

- Implemented a new scheduling algorithm, based on ARINC partitions. [...]

Ada Monthly Meetup presentation!
     posted by streaksu, Thu 19 Oct 2023 03:44:37 AM UTC

The Ada community holds a meetup every month over Jitsi, presenting projects and language news. There will be an Ironclad presentation accompanying it for November's edition. Join if you are interested! It will take place on November 4th 2PM UTC, check out the forum post for further information, or join directly once the time comes here.

New domain:
     posted by streaksu, Thu 31 Aug 2023 11:21:48 PM UTC

I've acquired, 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

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 [...]

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code