Bereizketa nukleoa askatu zen (bereizketa nukleoa) Muen, Suitzako enpresa batek garatua Kodelabeak.
Muen-ek Intel x86_64 plataformak soilik onartzen ditu eta bermatzen du bertan exekutatzen diren OS kernelek eta aplikazioek ezin dutela esleitutako kuota haratago baliabideetara sartu. Honek, besteak beste, RAM, CPU denbora eta I/O gailuetarako sarbideari dagozkio.
Kernelak gonbidatu aplikazio gisa onartzen dira. Linux, Ada/SPARK programak, baita Solo5 framework-a erabiliz idatzitako liburutegi-sistemak ere (adibidez, OCaml-eko MirageOS). Linux PCI eta beste ostalari baliabideetarako sarbidea bizkortzeko nukleoaren kontrolatzaileak eskaintzen dira.
Muen bera erabat SPARK-en inplementatuta dago, Ada hizkuntzaren azpimultzo seguru batean, eta exekuzio-denboran akatsik gabe dagoela egiaztatu da. Kodea GPLv3 lizentziapean banatzen da.
Iturria: linux.org.ru
