De skiedingskearn waard frijjûn (skieding kernel) Muen, ûntwikkele troch in Switsersk bedriuw Codelabs.
Muen stipet allinich Intel x86_64-platfoarms en soarget derfoar dat OS-kernels en applikaasjes dy't derop rinne gjin tagong krije ta boarnen bûten har tawiisde kwota. Dat jildt ûnder oare foar RAM, CPU tiid en tagong ta I/O apparaten.
De Linux-kernel, Ada/SPARK-programma's, lykas bibleteek-OS's skreaun mei it Solo5-ramt (bygelyks MirageOS op OCaml) wurde stipe as gastapplikaasjes. Kernel-bestjoerders wurde levere foar Linux om tagong ta PCI en oare hostboarnen te fersnellen.
Muen sels is folslein ymplementearre yn SPARK, in feilige subset fan 'e Ada-taal, en is ferifiearre om frij te wêzen fan runtime-flaters. De koade wurdt ferspraat ûnder de GPLv3 lisinsje.
Boarne: linux.org.ru