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.
Wow, a kernel written in Ada.
Brings back memories of something to do with Z machines and B state proovers. Sounds like the distro to use for your nuclear power station.
As long as they have PS/2 devices connected to the machines. Otherwise it will be useless exercise with no interaction with the system possible without them. At least that was my experience with it, with the unless you have them it will be useless trying to use it warning that pops up, you would think that would have been mentioned in the summary.
Yeah, the bad hardware support is the suckiest part of Ironclad. I have talked with devs though and they seem to be working on USB support, so that should become much better in the short-medium term, 0.7 or 0.8 should add initial support