Ironclad - 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.
Powered by Savane 3.14-8aba.
Corresponding source code