Récemment, un dépôt du système d'exploitation Gloire est apparu sur Github. Gloire utilise le noyau Ironclad, écrit en langage de programmation Ada, et un environnement utilisateur GNU. Sur le site dédié à Ironclad, il est mentionné qu'il est en phase de « vérification formelle ».
Des images d'installation pour Gloire sont disponibles pour x86, bien que le matériel supporté soit actuellement limité.
Dépôt de Gloire : https://github.com/streaksu/Gloire?tab=readme-ov-file
Site du projet du noyau : https://ironclad.nongnu.org
Tant Gloire qu'Ironclad sont distribués sous la licence publique générale GNU version 3.
Source : linux.org.ru
