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 @ UC Berkeley's IEEE Meetings
     posted by streaksu, Fri 04 Apr 2025 09:38:17 AM UTC

Ironclad will have an online presentation that will cover what we do different when compared with Linux and other prominent FOSS OSes, what makes the project interesting, and it will dig into formal verification, what it is, how we apply it, and what cool things it allows us to do.

The presentation will be held Mon Apr 14 at 11 AM PST at https://meet.jit.si/IroncladIEEEPresentation. See you there!

util-ironclad 0.1.0 released
     posted by streaksu, Tue 04 Mar 2025 09:42:15 PM UTC

This release marks the first release of util-ironclad, the ironclad
alternative for util-linux that distro maintainers can use for
providing system management userland utilities like blkid, ps, dmesg,
lspci, mount/umount, and the like. [...]

Moving from Paypal to Stripe for donations and payment processing
     posted by streaksu, Sun 02 Mar 2025 07:37:36 PM UTC

Ironclad will be moving for its donations to Stripe from Paypal. This
is done to make our processing easier and allowing people to do
donations without a PayPal account, just using a credit card or
bank transfer. We feel this is way more privacy respecting and will [...]


Communication Tools
 Mailing Lists (2 public mailing lists)

Development Tools
 Task Manager (open items: 6, total: 7)

Back to the top

Powered by Savane 3.14-962f.
Corresponding source code