Karolo ea karohano e ile ea lokolloa (thollo ea karohano) Muen, e entsoeng ke k'hamphani ea Switzerland Codelabs.
Muen e ts'ehetsa li-platform tsa Intel x86_64 feela mme e netefatsa hore li-kernels tsa OS le lits'ebetso tse sebetsang ho eona ha li khone ho fihlella lisebelisoa ho feta palo eo li e abetsoeng. Sena se sebetsa, har'a lintho tse ling, ho RAM, nako ea CPU le ho fihlella lisebelisoa tsa I / O.
Linux kernel, mananeo a Ada/SPARK, hammoho le li-OS tsa laebrari tse ngotsoeng ho sebelisoa moralo oa Solo5 (mohlala, MirageOS ho OCaml) li tšehetsoa joalo ka lits'ebetso tsa baeti. Bakhanni ba Kernel ba fanoa bakeng sa Linux ho potlakisa phihlello ea PCI le lisebelisoa tse ling tse amohelang.
Muen ka boeona e kengoa tšebetsong ka botlalo ho SPARK, e leng karolo e sireletsehileng ea puo ea Ada, 'me e netefalitsoe hore ha e na liphoso tsa nako ea ho sebetsa. Khoutu e ajoa tlasa laesense ea GPLv3.
Source: linux.org.ru