Recentemente è apparso su Github un repository del sistema operativo Gloire. Gloire utilizza il kernel Ironclad, scritto nel linguaggio di programmazione Ada, e un ambiente utente GNU. Sul sito dedicato a Ironclad è scritto che è in fase di "verifica formale".
Per il sistema operativo Gloire sono disponibili immagini di avvio per x86, anche se il numero di hardware supportato è ancora limitato.
Repository di 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 i termini della GNU General Public License versione 3.
Fonte: linux.org.ru
