Gloire — un système d'exploitation avec un noyau Ironclad en Ada
Récemment, un dépôt d'un système d'exploitation nommé Gloire a été publié sur Github. Gloire utilise le noyau Ironclad, développé en langage Ada, ainsi qu'un environnement utilisateur GNU. Le site dédié à Ironclad indique qu'il est en cours de « vérification formelle ». Des images de démarrage pour x86 sont disponibles pour Gloire, bien que le matériel supporté soit encore limité. Dépôt de Gloire : https://github.com/streaksu/Gloire?tab=readme-ov-file Site du projet de noyau : https://ironclad.nongnu.org Et Gloire, […]
