Recientemente, apareció en Github un repositorio del sistema operativo Gloire. Gloire utiliza el núcleo Ironclad, escrito en el lenguaje de programación Ada, y un entorno de usuario GNU. En el sitio dedicado a Ironclad, se menciona que está en proceso de "verificación formal".
Están disponibles imágenes de arranque para x86 para el sistema operativo Gloire, aunque actualmente hay poco hardware compatible.
Repositorio de Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Sitio del proyecto del núcleo: https://ironclad.nongnu.org
Tanto Gloire como Ironclad se distribuyen bajo la GNU General Public License versión 3.
Fuente: linux.org.ru
