Eftir átta ára þróun var Muen 1.0 verkefnið gefið út og þróaði Separation kjarnann, skortur á villum í frumkóða sem var staðfest með stærðfræðilegum aðferðum við formlega sannprófun á áreiðanleika. Kjarninn er fáanlegur fyrir x86_64 arkitektúrinn og hægt er að nota hann í mikilvægum kerfum sem krefjast aukins áreiðanleika og tryggingar fyrir engum bilunum. Frumkóði verkefnisins er skrifaður á Ada tungumálinu og sannanlega mállýsku SPARK 2014. Kóðanum er dreift undir GPLv3 leyfinu.
Aðskilnaðarkjarninn er örkjarna sem veitir umhverfi til að framkvæma hluti sem eru einangraðir hver frá öðrum, samspil þeirra er stranglega stjórnað af gefnum reglum. Einangrun byggist á notkun Intel VT-x sýndarviðbótarviðbóta og felur í sér öryggiskerfi til að hindra skipulagningu leynilegra samskiptaleiða. Skiptingarkjarninn er naumhyggjulegri og kyrrstæðari en aðrir örkjarnar, sem dregur úr fjölda aðstæðna sem geta valdið bilun.
Kjarninn keyrir í VMX rótarham, svipað og hypervisor, og allir aðrir íhlutir keyra í VMX non-root ham, svipað og gestakerfi. Aðgangur að búnaðinum er gerður með því að nota Intel VT-d DMA viðbætur og truflunarkortlagningu, sem gerir það mögulegt að innleiða örugga bindingu PCI tækja við íhluti sem keyra undir Muen.
Möguleiki Muen felur í sér stuðning fyrir fjölkjarna kerfi, hreiður minnissíður (EPT, Extended Page Tables), MSI (Message Signaled Interrupts) og minnissíðueiginleikatöflur (PAT, Page Attribute Table). Muen býður einnig upp á fastan hringlaga tímaáætlun sem byggir á Intel VMX forvarnartímamæli, fyrirferðarlítinn keyrslutíma sem hefur ekki áhrif á frammistöðu, hrunendurskoðunarkerfi, reglubundið kyrrstöðuúthlutunarkerfi, atburðameðferðarkerfi og sameiginlegar minnisrásir fyrir samskipti innan hlaupandi íhluta.
Það styður hlaupandi íhluti með 64-bita vélakóða, 32- eða 64-bita sýndarvélum, 64-bita forritum á Ada og SPARK 2014 tungumálum, sýndarvélar með Linux og sjálfstætt „unikernels“ sem byggir á MirageOS ofan á Muen.
Helstu nýjungarnar í boði í útgáfu Muen 1.0:
- Skjöl hafa verið gefin út með forskriftum fyrir kjarna (tæki og arkitektúr), kerfi (kerfisstefnur, Tau0 og verkfærakista) og íhlutum, sem skrásetja alla þætti verkefnisins.
- Tau0 (Muen System Composer) verkfærasettinu hefur verið bætt við, sem inniheldur sett af tilbúnum staðfestum íhlutum til að semja kerfismyndir og þróa staðlaða þjónustu sem keyrir ofan á Muen. Íhlutir sem fylgja eru ma AHCI (SATA) bílstjóri, Device Manager (DM), ræsihleðslutæki, kerfisstjóri, sýndarútstöð osfrv.
- Muenblock Linux reklanum (útfærsla á blokkartæki sem keyrir ofan á Muen samnýtta minni) hefur verið breytt til að nota blockdev 2.0 API.
- Innleidd verkfæri til að stjórna lífsferli innfæddra íhluta.
- Kerfismyndum hefur verið breytt til að nota SBS (Signed Block Stream) og CSL (Command Stream Loader) til að vernda heilleika.
- Staðfestur AHCI-DRV bílstjóri hefur verið innleiddur, skrifaður á SPARK 2014 tungumálinu og gerir þér kleift að tengja drif sem styðja ATA viðmótið eða einstakar disksneiðar við íhlutina.
- Bættur einstakur stuðningur frá MirageOS og Solo5 verkefnunum.
- Ada tungumálaverkfærakistan hefur verið uppfærð fyrir útgáfu GNAT Community 2021.
- Samfellda samþættingarkerfið hefur verið flutt frá Bochs hermi yfir í QEMU/KVM hreiður umhverfi.
- Linux íhlutamyndir nota Linux 5.4.66 kjarnann.
Heimild: opennet.ru