Gloire — OS med Ironclad-kernen skrevet i Ada
For nylig dukkede der en repository for operativsystemet Gloire op på Github. Gloire bruger kernen Ironclad, skrevet i programmeringssproget Ada, og et brugergrænseflade baseret på GNU. På webstedet dedikeret til Ironclad står der, at det er i gang med "formel verifikation". Der er tilgængelige boot images til x86 for Gloire, selvom det understøttede hardware stadig er begrænset. Gloire-repositoriet: https://github.com/streaksu/Gloire?tab=readme-ov-file Projektwebstedet for kernen: https://ironclad.nongnu.org Og Gloire, […]
