Udgivelsen af separationskernen (separation kernel) Muen, udviklet af det schweiziske firma Codelabs.
Muen understøtter kun Intel x86_64-platforme og garanterer, at de kørende kerner og applikationer ikke kan få adgang til ressourcer udover de tildelte kvoter. Dette omfatter blandt andet RAM, CPU-tid og adgang til input-output-enheder.
Som gæsteapplikationer understøttes Linux-kernen, programmer skrevet i Ada/SPARK samt bibliotekssystemer skrevet med brug af Solo5-rammen (for eksempel MirageOS på OCaml). For Linux tilbydes kerndrivere for at forbedre adgangen til PCI og andre værtsressourcer.
Selve Muen er helt implementeret i SPARK – en sikker undergruppe af Ada-sproget – og har gennemgået verifikation for at være fri for runtime-fejl. Koden distribueres under GPLv3-licensen.
Kilde: linux.org.ru
