Author: Thom Holwerda
Source
Sponsored:
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence - Audiobook
Uncover the true cost of artificial intelligence.
Listen now, and see the system behind the screens before the future listens to you. = > Atlas of AI $0.00 with trial. Read by Larissa Gallagher
Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom. Version 0.5.0 has been released. This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems. The easiest way to try Ironclad, either virtually or on real hardware, is to use a distribution that uses it – Gloire seems to be the recommended option. Gloire is an OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like gwm. This repository holds scripts and tools to build the OS from the ground up. I had never heard of this project before, but it seems incredibly cool.
