newsIronclad - News

 
 

Ironclad 0.3.0 released

Item posted by Klaus Schneider <streaksu> on Sun 02 Apr 2023 08:01:26 AM UTC.

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

This is a terse list of some of the changes included in this release:

- Added support for ATA/SATA drives for x86 machines.
- Added support for PTYs and other kernel-level IPC primitives.
- A new and improved scheduler for real time.
- New autotools-based buildsystem.
- Added integrity-ensuring and advanced debugging facilities.
- Formally verified the device management layer, along with some drivers.
- Improved EXT and FAT support.

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.

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code