Nedavno je na GitHubu objavljena repozitorij operativnog sustava Gloire. Gloire koristi jezgru Ironclad, napisanu na programskom jeziku Ada, te korisničko okruženje GNU. Na web stranici posvećenoj Ironcladu navedeno je da se nalazi u procesu "formalnog verifikovanja."
Za OS Gloire dostupne su boot slike za x86, iako je trenutno malo podržanih hardverskih platformi.
Repozitorij Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Web stranica projekta jezgre: https://ironclad.nongnu.org
I Gloire i Ironclad distribuiraju se pod uvjetima GNU General Public License verzije 3.
Izvor: linux.org.ru
