Recent, pe Github a apărut un depozit pentru sistemul de operare Gloire. Gloire folosește nucleul Ironclad, scris în limbajul de programare Ada, și mediul de utilizator GNU. Site-ul dedicat Ironclad afirmă că este în proces de „verificare formală”.
Imaginile de boot sunt disponibile pentru x86 pentru Gloire OS, deși hardware-ul acceptat este încă limitat.
Depozitul Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Site-ul web al proiectului Kernel: https://ironclad.nongnu.org
Atât Gloire, cât și Ironclad sunt licențiate sub Licența Publică Generală GNU versiunea 3.
Sursa: linux.org.ru
