Gloire — sistema operativo con núcleo Ironclad en el lenguaje Ada
Recientemente apareció en Github el 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». Hay imágenes de arranque disponibles para x86, aunque el hardware compatible es aún escaso. Repositorio de Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Sitio del proyecto del núcleo: https://ironclad.nongnu.org Y Gloire, […]
