Gloire — OS with Ironclad kernel in Ada
Recently, a repository for the Gloire operating system appeared on GitHub. Gloire uses the Ironclad kernel written in the Ada programming language and the GNU user environment. The site dedicated to Ironclad states that it is undergoing "formal verification". Bootable images for x86 are available for the Gloire OS, although there is currently limited supported hardware. Gloire repository: https://github.com/streaksu/Gloire?tab=readme-ov-file Kernel project site: https://ironclad.nongnu.org And Gloire […]
