Ironclad - News
Ironclad 0.4.0
Item posted by Cristian <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:
https://download.savannah.nongnu.org/releases/ironclad/
Please contact me directly regarding questions or comments
about this release at streaksu@protonmail.com.
Powered by Savane 3.14-ee00.
Corresponding source code