Recentemente, um repositório do sistema operacional Gloire apareceu no Github. Gloire usa o núcleo Ironclad, escrito na linguagem de programação Ada, e o ambiente de usuário GNU. No site dedicado ao Ironclad, é informado que ele está em processo de "verificação formal".
Imagens de inicialização para o sistema operacional Gloire estão disponíveis para x86, embora o hardware suportado ainda seja limitado.
Repositório do Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file
Site do projeto do núcleo: https://ironclad.nongnu.org
Tanto o Gloire quanto o Ironclad são distribuídos sob a Licença Pública Geral GNU versão 3.
Fonte: linux.org.ru
