Gloire — operatsioonisüsteem Ironcladi tuumaga, kirjutatud Ada keeles
Hiljuti ilmus GitHubis operatsioonisüsteemi Gloire repository. Gloire kasutab Ironcladi kernelit, mis on kirjutatud Ada programmeerimiskeeles, ja GNU kasutajakeskkonda. Ironcladi pühendatud veebisaidil on öeldud, et see on „formaalses verifitseerimises“. Gloire operatsioonisüsteemile on saadaval alglaadimisfailid x86 jaoks, kuigi toetava riistvara valik on hetkel piiratud. Gloire repository: https://github.com/streaksu/Gloire?tab=readme-ov-file Kerneli projekti sait: https://ironclad.nongnu.org Ja Gloire, […]
