Recentemente è apparsa su Github una repository del sistema operativo Gloire. Gloire utilizza il kernel Ironclad, scritto nel linguaggio di programmazione Ada, e l'ambiente utente GNU. Sito dedicato a Ironclad dichiara che è in fase di «verifica formale».
Per il sistema operativo Gloire sono disponibili immagini di avvio per x86, anche se attualmente ci sono poche apparecchiature supportate.
Repository Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Sito del progetto del kernel: https://ironclad.nongnu.org
Sia Gloire che Ironclad sono distribuiti sotto la GNU General Public License versione 3.
Fonte: linux.org.ru
