Gloire — sistema operativo con kernel Ironclad scritto in Ada
Recentemente su Github è comparso il repository del sistema operativo Gloire. Gloire utilizza il kernel Ironclad, scritto nel linguaggio di programmazione Ada, e un ambiente utente GNU. Sul sito dedicato a Ironclad, è scritto che è in fase di "verifica formale". Per il sistema operativo Gloire sono disponibili immagini di avvio per x86, anche se attualmente ci sono pochi hardware supportati. Repository Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Sito del progetto del kernel: https://ironclad.nongnu.org E Gloire […]
