Die skeidingskern is vrygestel (skeidingskern) Muen, ontwikkel deur ’n Switserse maatskappy Kodelabs.
Muen ondersteun slegs Intel x86_64-platforms en verseker dat OS-pitte en toepassings wat daarop loop, nie toegang tot hulpbronne buite hul toegewese kwota kan kry nie. Dit geld onder meer vir RAM, SVE-tyd en toegang tot I/O-toestelle.
Die Linux-kern, Ada/SPARK-programme, sowel as biblioteekbedryfstelsels wat met die Solo5-raamwerk geskryf is (byvoorbeeld MirageOS op OCaml) word as gastoepassings ondersteun. Kerndrywers word vir Linux verskaf om toegang tot PCI en ander gasheerbronne te bespoedig.
Muen self is heeltemal geïmplementeer in SPARK, 'n veilige subset van die Ada-taal, en is geverifieer dat dit vry is van runtime-foute. Die kode word onder die GPLv3-lisensie versprei.
Bron: linux.org.ru