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

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

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

[11 news in archive]

Quick Overview

Group Homepage