newsIronclad - News


Ironclad 0.4.0

Item posted by Klaus Schneider <streaksu> on Thu 31 Aug 2023 07:11:54 PM UTC.

This release brings a lot of improvements on almost all subsystems of the kernel.

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

- Formally verified big chunks of architecture-independent code for AoRTE, SPARKified what was not verified.
- Improved mandatory access control (MAC).
- Reworked syscall mechanism for x86_64-multiboot2, with big performance gains.
- Added a hardware watchdog framework.
- Implement UIDs, limits, and corefile dumping.
- Start work on an arm-raspi2 port.
- Improved filesystem support, work started on QNXFS.

Tarballs for this release are available here:

Please contact me directly regarding questions or comments
about this release at

Back to the top

Powered by Savane 3.12