Gloire â OS me kernelin Ironclad nĂ« gjuhĂ«n Ada
SĂ« fundmi nĂ« Github u shfaq njĂ« depo e sistemit operativ Gloire. Gloire pĂ«rdor bĂ«rthamĂ«n Ironclad, tĂ« shkruar nĂ« gjuhĂ«n programuese Ada, dhe ambientin pĂ«rdorues GNU. NĂ« faqen e dedikuar pĂ«r Ironclad, thuhet se ajo Ă«shtĂ« nĂ« procesin e "verifikimit formal". Imazhet boot pĂ«r OS Gloire janĂ« tĂ« disponueshme pĂ«r x86, megjithatĂ« pajisjet e mbĂ«shtetura janĂ« ende tĂ« pakta. Depo Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file Faqja e projektit tĂ« bĂ«rthamĂ«s: https://ironclad.nongnu.org Dhe Gloire, […]
