Objavljeno je odvojeno jezgro (separation kernel) Muen, koje razvija švicarska tvrtka Codelabs.
Muen podržava samo Intel x86_64 platforme i omogućava jamstvo da pokrenuta jezgra operativnog sustava i aplikacije nemaju pristup resursima iznad dodijeljene kvote. To se odnosi, između ostalog, na radnu memoriju, CPU vrijeme i pristup ulazno-izlaznim uređajima.
Kao gostujuće aplikacije podržavaju se Linux jezgro, programi napisani na Ada/SPARK, kao i bibliotečke operativne sustave napisane koristeći Solo5 framework (npr. MirageOS na OCaml). Za Linux su osigurani drajveri jezgre za ubrzavanje pristupa PCI i drugim host resursima.
Samo Muen je u potpunosti implementiran na SPARK-u – sigurnoj podskupini jezika Ada – i prošao je verifikaciju bez izvršnih grešaka. Kod se distribuira pod GPLv3 licencom.
Izvor: linux.org.ru
