Gloire — SO com kernel Ironclad em Ada
Recentemente, surgiu no Github um repositório para o sistema operacional Gloire. Gloire utiliza o núcleo Ironclad, escrito na linguagem de programação Ada, e um ambiente de usuário GNU. No site dedicado ao Ironclad, está escrito que ele está em processo de "verificação formal". Imagens de inicialização para x86 estão disponíveis para o OS Gloire, embora o hardware suportado ainda seja escasso. Repositório Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Site do projeto do núcleo: https://ironclad.nongnu.org E Gloire, […]
