Gloire — OS cu kernel Ironclad în limbajul Ada
Recent, pe Github a apărut un repo pentru sistemul de operare Gloire. Gloire folosește kernel-ul Ironclad, scris în limbajul de programare Ada, și un mediu utilizator GNU. Pe site-ul dedicat Ironclad se menționează că acesta se află în proces de "verificare formală". Imaginile de boot pentru Gloire sunt disponibile pentru x86, deși suportul hardware este momentan limitat. Repo-ul Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Site-ul proiectului kernel: https://ironclad.nongnu.org I Gloire, […]
