Nedavno je na Githubu objavljen repozitorij operativnog sistema Gloire. Gloire koristi jezgru Ironclad, napisanu na programskom jeziku Ada, i korisničko okruženje GNU. Na sajtu posvećenom Ironcladu piše da je u procesu „formalnog verifikovanja“.
Za OS Gloire dostupni su bootable image-ovi za x86, iako još uvek postoji malo podržanog hardvera.
Repizitorij Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Sajt projekta jezgre: https://ironclad.nongnu.org
I Gloire i Ironclad se distribuiraju pod uslovima GNU General Public License verzije 3.
Izvor: linux.org.ru
