Ina ua maeŹ»a le valu tausaga o le atinaŹ»e, na faŹ»asaŹ»olotoina le Muen 1.0 poloketi, atinaŹ»eina o le Separation kernel, o le leai o ni mea sese i le faŹ»ailoga faŹ»amaonia na faŹ»amaonia i le faŹ»aaogaina o metotia faŹ»a-matematika o le faŹ»amaonia aloaia aloaia. O loŹ»o avanoa le fatu mo le fausaga x86_64 ma e mafai ona faŹ»aaogaina i faiga faŹ»a-misiona e manaŹ»omia ai le faŹ»ateleina o le faŹ»atuatuaina ma faŹ»amautinoa e leai se toilalo. O le faŹ»ailoga autu o le poloketi o loŹ»o tusia i le gagana Ada ma lona gagana faŹ»amaonia SPARK 2014. O loŹ»o tufatufaina le code i lalo ole laisene GPLv3.
O le vavaega fatu o se microkernel lea e maua ai se siosiomaga mo le faŹ»atinoina o vaega e vavae ese mai le tasi ma le isi, o le fegalegaleaiga o loŹ»o faŹ»atonutonuina e tulafono tuŹ»ufaŹ»atasia. O le vavaeeseina e faŹ»avae i luga o le faŹ»aogaina o le Intel VT-x virtualization faŹ»aopoopoga ma e aofia ai auala saogalemu e poloka ai le faŹ»atulagaina o fesoŹ»otaŹ»iga faalilolilo. O le fatu vaevaega e sili atu le laŹ»ititi ma le tumau nai lo isi microkernels, e faŹ»aitiitia ai le numera o tulaga e mafai ona mafua ai le toilalo.
O le fatu e tamoŹ»e i le VMX root mode, tutusa ma le hypervisor, ma isi vaega uma o loŹ»o tamomoe i le VMX non-root mode, e tutusa ma faiga faŹ»apitoa. O le avanoa i meafaigaluega e faŹ»aaogaina e faŹ»aogaina ai le Intel VT-d DMA faŹ»aopoopoga ma faŹ»alavelave le toe faŹ»aogaina, lea e mafai ai ona faŹ»aogaina le faŹ»aogaina o masini PCI i vaega o loŹ»o taŹ»avale i lalo o Muen.
O le gafatia o Muen e aofia ai le lagolago mo le tele-core system, nested memory page (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), ma le manatua itulau uiga o laulau (PAT, Page Attribute Table). O lo'o tu'uina atu fo'i e Muen se fa'asologa fa'asolosolo fa'asolosolo e fa'avae i luga o le Intel VMX preemptive timer, ose taimi fa'ata'ita'i e le a'afia ai le fa'atinoga, se faiga su'etusi fa'afuase'i, se faiga fa'avae tu'ufa'atasi o punaoa fa'avae, se faiga e fa'afoeina mea e tutupu, ma ala fa'asoa fa'amanatu mo feso'ota'iga i totonu o vaega ta'avale.
E lagolagoina e fa'agaoioi i luga o vaega o Muen fa'atasi ai ma le numera masini 64-bit, 32-bit po'o le 64-bit. masini komepiuta, talosaga 64-bit i gagana Ada ma SPARK 2014, masini fa'apitoa ma Linux ma "unikernels" e tuto'atasi e fa'avae i luga o MirageOS.
O mea fou fou na ofoina atu i le tatalaina o Muen 1.0:
- Ua lomia fa'amaumauga ma fa'amatalaga mo le fatu (masini ma le fausaga), faiga (faiga fa'avae, Tau0 ma meafaigaluega) ma vaega, e fa'amaumau ai vaega uma o le poloketi.
- O le Tau0 (Muen System Composer) ua fa'aopoopoina meafaigaluega, lea e aofia ai se seti o vaega fa'amaonia ua saunia mo le fatuina o ata fa'aoga ma le atina'eina o auaunaga masani e fa'atautaia i luga o Muen. O vaega o loŹ»o tuŹ»uina atu e aofia ai le avetaŹ»avale AHCI (SATA), Pule FaŹ»atonu (DM), faŹ»apipiŹ»i taŹ»avale, pule faŹ»aoga, masini komepiuta, ma isi.
- Linux- ua suia le aveta'avale muenblock (o se fa'atinoga o se masini poloka o lo'o fa'agaoioia i luga o le manatua fa'asoa a Muen) e fa'aaoga ai le blockdev 2.0 API.
- Fa'atino meafaigaluega mo le fa'afoeina o le taamilosaga o le olaga o vaega fa'aletino.
- Ua liua ata o faiga e faaaoga ai le SBS (Signed Block Stream) ma le CSL (Command Stream Loader) e puipuia ai le amio sa'o.
- Ua faŹ»atinoina se avetaŹ»avale AHCI-DRV faŹ»amaonia, tusia i le gagana SPARK 2014 ma faŹ»atagaina oe e faŹ»afesoŹ»otaŹ»i taŹ»avale e lagolagoina le atinaŹ»e ATA poŹ»o vaega taŹ»itasi tisiki i vaega.
- FaŹ»aleleia le lagolago a le Uniernel mai galuega a MirageOS ma Solo5.
- Ua toe fa'afou le pusa meafaigaluega a le gagana a le GNAT Community 2021.
- O le faŹ»aauauina faŹ»apipiŹ»i faiga ua faŹ»afeiloaŹ»i mai le Bochs emulator i QEMU / KVM nested environments.
- I ata o vaega ma Linux o lo'o a'afia ai le totonugalemu Linux 5.4.66.
puna: opennet.ru
