MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
ironclad
Recherche

Ironclad 0.6 released

samedi 15 mars 2025, 09:33 , par OS News
It’s been a while, but there’s a new release of Ironclad, the formally verified, hard real-time capable kernel written in SPARK and Ada. Aside from the usual bugfixes, this release moves Ironclad from multiboot to Limine, adds x86_64 ACPI support for poweroff and reboot, improvements to PTY support, the VFS layer, and much more.

The easiest way to try out Ironclad is to download Gloire, a distribution that uses Ironclad and the GNU tools. It can be installed in both a virtual machine and on real hardware.
https://www.osnews.com/story/141935/ironclad-0-6-released/
News copyright owned by their original publishers | Copyright © 2004 - 2025 Zicos / 440Network
Date Actuelle
jeu. 3 avril - 01:11 CEST