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 0.6.0 released
     posted by streaksu, Fri 31 Jan 2025 11:39:17 PM UTC

This release comes after a long gap of releases, and has had massive work done on
almost every aspect of the kernel. Because of this, I find it hard to summarize
the changes, but a gist of it is:

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

Ironclad @ FOSDEM 2025
     posted by streaksu, Mon 30 Dec 2024 06:34:06 PM UTC

Ironclad will have an in-person presentation delving into why Ada was chosen for development, advantages of Ada compared with alternatives like C and Rust for the use case of low level development, and how these advantages are used inside Ironclad with the concrete example of driver development inside the kernel, as part of FOSDEM 2025 in [...]

A new face for Ironclad
     posted by streaksu, Fri 13 Dec 2024 12:07:46 AM UTC

Since the beginning of Ironclad, the design of Takao, the mascot and logo of the project, has served us well, but as Ironclad is starting to be featured in presentations, stickers, and the like, a less mspaint-y, cleaner, SVG logo is in order. The new design was made by myself, trying to retain as much of the [...]

Ironclad joins the NLNet NGI0 Core initiative
     posted by streaksu, Sun 13 Oct 2024 11:22:07 AM UTC

I am glad to announce Ironclad has been given a grant by the NLNet foundation, as part of its NGI Zero Core initiative. NLNet's announcement can be found here. [...]

Back to the top

Powered by Savane 3.14-9aa3.
Corresponding source code