La apartkerno estis liberigita (disiga kerno) Muen, evoluigita de svisa firmao kodaj laboratorioj.
Muen nur subtenas Intel x86_64-platformojn kaj certigas, ke OS-kernoj kaj aplikaĵoj kurantaj sur ĝi ne povas aliri rimedojn preter ilia asignita kvoto. Ĉi tio validas, interalie, por RAM, CPU-tempo kaj aliro al I/O-aparatoj.
La Linukso-kerno, Ada/SPARK-programoj, same kiel bibliotekaj OS-oj skribitaj uzante la Solo5-kadron (ekzemple, MirageOS sur OCaml) estas subtenataj kiel gastaj aplikoj. Kernel-ŝoforoj estas disponigitaj por Linukso por akceli aliron al PCI kaj aliaj gastigaj rimedoj.
Muen mem estas tute efektivigita en SPARK, sekura subaro de la Ada lingvo, kaj estis kontrolita esti libera de rultempaj eraroj. La kodo estas distribuita sub la permesilo GPLv3.
fonto: linux.org.ru