Ironclad - Summary

Group

Main
- Main
- View members
- Search
Homepage
Download
Docs
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
- Use CVS
- Browse Web Pages Repository
- Use Git
- Browse Git repositories
- ironclad.git
- ironclad/util-ironclad.git
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Patches
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

Membership Info

Group Admin:

Klaus Schneider

1 active member

[View Members]

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

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

AEiC 2024 presentation
posted by streaksu, Sun 09 Jun 2024 04:30:08 PM UTC

Ada-Europe holds a convention every year, hosting a program packed with everything Ada. This year's edition will be held in Barcelona, Spain.

Ironclad will have an in-person presentation about the project at large and on the operating system's internals the 14th of June, as part of the [...]

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

[10 news in archive]

Quick Overview

Group Homepage