Taorian'ny valo taona nisian'ny fampandrosoana dia navoaka ny tetikasa Muen 1.0, namolavola ny kernel Separation, ny tsy fisian'ny lesoka ao amin'ny code source izay nohamafisina tamin'ny fampiasana fomba matematika momba ny fanamarinana ara-dalΓ na azo itokisana. Ny kernel dia azo ampiasaina amin'ny maritrano x86_64 ary azo ampiasaina amin'ny rafitra mitsikera iraka izay mitaky haavo azo itokisana kokoa sy miantoka ny tsy fahombiazana. Ny kaody loharanon'ny tetikasa dia nosoratana tamin'ny fiteny Ada sy ny fiteniny azo hamarinina SPARK 2014. Ny kaody dia zaraina amin'ny alΓ lan'ny fahazoan-dΓ lana GPLv3.
Ny kernel fisarahana dia microkernel izay manome tontolo iainana ho an'ny famonoana ireo singa mitoka-monina, ny fifandraisan'izy ireo dia fehezin'ny fitsipika nomena. Mifototra amin'ny fampiasana ny fanitarana virtoaly Intel VT-x ny fitokana-monina ary misy ny rafitra fiarovana hanakanana ny fandaminana ny fantsom-pifandraisana miafina. Ny kernel partitioning dia minimalistic sy static kokoa noho ny microkernels hafa, izay mampihena ny isan'ny toe-javatra mety hiteraka tsy fahombiazana.
Ny kernel dia mandeha amin'ny fomba fakan'ny VMX, mitovy amin'ny hypervisor, ary ny singa hafa rehetra dia mandeha amin'ny fomba tsy misy faka VMX, mitovy amin'ny rafitra vahiny. Ny fidirana amin'ny fitaovana dia atao amin'ny alΓ lan'ny fanitarana Intel VT-d DMA sy ny famerenana ny sarintany, izay ahafahana mametraka ny famatorana azo antoka ny fitaovana PCI amin'ny singa mandeha eo ambanin'ny Muen.
Ny fahaiza-manaon'i Muen dia misy ny fanohanana ny rafitra misy fototra maro, pejy fitadidiana nested (EPT, Tabilao Pejy Extended), MSI (Message Signaled Interrupts), ary latabatra toetran'ny pejy fahatsiarovana (PAT, Table Attribute Page). Muen koa dia manome fandaharam-potoana round-robin miorina amin'ny fameram-potoana mialohan'ny Intel VMX, fotoana fohy tsy misy fiatraikany amin'ny zava-bita, rafitra fanaraha-maso fianjerana, mekanika fanomezan-danja mifototra amin'ny fitsipika, rafitra fitantanana hetsika, ary fantsona fahatsiarovana iombonana ho an'ny fifandraisana ao anatin'ny singa mihazakazaka.
Izy io dia manohana ireo singa mihazakazaka miaraka amin'ny kaody milina 64-bit, milina virtoaly 32- na 64-bit, fampiharana 64-bit amin'ny fiteny Ada sy SPARK 2014, milina virtoaly Linux ary "unikernels" manana tena mifototra amin'ny MirageOS eo an-tampon'ny Muen.
Ny fanavaozana lehibe natolotra tamin'ny famoahana ny Muen 1.0:
- Ny antontan-taratasy dia navoaka miaraka amin'ny famaritana ny kernel (fitaovana sy maritrano), rafitra (politikan'ny rafitra, Tau0 ary fitaovana) ary ny singa, izay mirakitra ny lafiny rehetra amin'ny tetikasa.
- Ny fitaovana Tau0 (Muen System Composer) dia nampiana, izay ahitana andiana singa voamarina efa vonona ho an'ny famoronana sary rafitra sy ny fampivoarana ny serivisy mahazatra izay mandeha eo an-tampon'ny Muen. Ny singa omena dia misy mpamily AHCI (SATA), Mpitantana ny fitaovana (DM), boot loader, mpitantana ny rafitra, terminal virtoaly, sns.
- Ny mpamily muenblock Linux (fampiharana fitaovana fanakanana mandeha eo an-tampon'ny fitadidiana ifampizarana Muen) dia navadika hampiasa ny blockdev 2.0 API.
- Fitaovana ampiasaina amin'ny fitantanana ny tsingerin'ny fiainan'ny singa teratany.
- Ny sarin'ny rafitra dia navadika ho SBS (Signed Block Stream) sy CSL (Command Stream Loader) mba hiarovana ny fahamendrehana.
- Napetraka ny mpamily AHCI-DRV voamarina, nosoratana tamin'ny fiteny SPARK 2014 ary ahafahanao mampifandray ireo fiara izay manohana ny interface ATA na fizarazarana kapila tsirairay amin'ireo singa.
- Fanohanana unikernel nohatsaraina avy amin'ny tetikasa MirageOS sy Solo5.
- Nohavaozina ny kitapo fitaovan'ny fiteny Ada ho an'ny famoahana GNAT Community 2021.
- Ny rafitra fampidirana mitohy dia nafindra avy amin'ny emulator Bochs ho QEMU/KVM nested environments.
- Ny sary singa Linux dia mampiasa ny kernel Linux 5.4.66.
Source: opennet.ru