Gloire - OS z jedrom Ironclad v jeziku Ada

Gloire - OS z jedrom Ironclad v jeziku Ada

Pred kratkim se je na Githubu pojavilo skladišče za operacijski sistem Gloire. Gloire uporablja jedro Ironclad, napisano v programskem jeziku Ada, in uporabniško okolje GNU. Spletna stran Ironclad navaja, da je v procesu "formalnega preverjanja".

Zagonske slike so na voljo za x86 za Gloire OS, čeprav je podprta strojna oprema še vedno omejena.

Repozitorij Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file

Spletno mesto projekta Kernel: https://ironclad.nongnu.org

Tako Gloire kot Ironclad sta licencirana pod splošno javno licenco GNU različice 3.

Vir: linux.org.ru

Kupite zanesljivo gostovanje za strani z DDoS zaščito, VPS VDS strežniki 🔥 Kupite zanesljivo spletno gostovanje z zaščito DDoS, VPS VDS strežniki | ProHoster