Wydano jądro separacyjne (separation kernel) Muen, rozwijane przez szwajcarską firmę Codelabs.
Muen obsługuje tylko platformy Intel x86_64 i gwarantuje, że uruchomione w nim jądra systemów operacyjnych i aplikacje nie mogą uzyskać dostępu do zasobów przekraczających przypisaną im kwotę. Dotyczy to także pamięci operacyjnej, czasu procesora i dostępu do urządzeń wejścia-wyjścia.
Jako aplikacje gościnne wspierane są jądro Linux, programy w Ada/SPARK oraz systemy operacyjne biblioteczne napisane z wykorzystaniem frameworka Solo5 (na przykład MirageOS w OCaml). Dla Linuxa dostarczone są sterowniki jądra, które przyspieszają dostęp do PCI i innych zasobów hosta.
Samo Muen jest całkowicie zaimplementowane w SPARK – bezpiecznym podzbiorze języka Ada – i przeszło weryfikację pod kątem braku błędów czasu wykonywania. Kod jest dystrybuowany na licencji GPLv3.
Źródło: linux.org.ru
