Muen SK 1.1.0

Notika izlaidums separācijas kodola (separation kernel) Muen, ko attīsta Šveices uzņēmums Codelabs.

Muen atbalsta tikai Intel x86_64 platformas un nodrošina, ka tajā palaistie operētājsistēmu un lietojumprogrammu kodi nevar piekļūt resursiem, kas pārsniedz viņiem piešķirto kvotu. Tas attiecas arī uz operatīvo atmiņu, procesora laiku un piekļuvi ieejas/izejas ierīcēm.

Kā viesu lietojumprogrammas tiek atbalstīti Linux kodols, programmas uz Ada/SPARK, kā arī bibliotēku operētājsistēmas, kas rakstītas, izmantojot Solo5 ietvaru (piemēram, MirageOS uz OCaml). Linux tiek nodrošināti kodola draiveri, lai paātrinātu piekļuvi PCI un citiem hosta resursiem.

Muen ir pilnībā izstrādāts SPARK – drošajā Ada valodas apakškopā – un ir pārbaudīts, lai novērstu izpildes kļūdas. Kods tiek izplatīts ar GPLv3 licenci.

Avots: linux.org.ru