Lanseringen av separation kernel (separation kernel) Muen, utvecklat av det schweiziska företaget Codelabs.
Muen stöder endast Intel x86_64-plattformar och sÀkerstÀller att de kÀrnor av operativsystem och applikationer som körs i den inte kan fÄ tillgÄng till resurser utöver den kvot som tilldelats dem. Detta gÀller Àven RAM, processor tider och Ätkomst till in- och utdataenheter.
Som gÀstapplikationer stöds Linux-kÀrnan, program skrivna i Ada/SPARK samt bibliotek OS skrivna med hjÀlp av Solo5-ramverket (till exempel MirageOS i OCaml). För Linux tillhandahÄlls drivrutiner för kÀrnan för att pÄskynda tillgÄngen till PCI och andra vÀrdresurser.
SjĂ€lva Muen Ă€r helt implementerat i SPARK â en sĂ€ker delmĂ€ngd av Ada-sprĂ„ket â och har verifierats för avsaknad av körningstidsfel. Koden distribueras under GPLv3-licensen.
KĂ€lla: linux.org.ru
