Muen SK 1.1.0

Det ble utgitt et separasjonskjerne (separation kernel) Muen, utviklet av det sveitsiske selskapet Codelabs.

Muen støtter kun Intel x86_64-plattformer og sikrer at kjernene og applikasjonene som kjører på den, ikke kan få tilgang til ressurser utover tildelt kvote. Dette inkluderer blant annet RAM, prosessor tid og tilgang til I/O-enheter.

Som gjesteapplikasjoner støttes Linux-kjernen, programmer skrevet i Ada/SPARK, samt biblioteks-OS-er som er skrevet ved hjelp av Solo5-rammeverket (for eksempel MirageOS i OCaml). For Linux er det tilgjengelige kjerndriverne for å akselerere tilgangen til PCI og andre vertressurser.

Selve Muen er helt implementert i SPARK – en sikker undergruppe av Ada-språket – og har gjennomgått verifisering for å utelukke kjøretidsfeil. Koden distribueres under GPLv3-lisensen.

Kilde: linux.org.ru