Pambuyo pazaka zisanu ndi zitatu zachitukuko, polojekiti ya Muen 1.0 inatulutsidwa, ikupanga kernel yopatukana, kusowa kwa zolakwika mu code source yomwe inatsimikiziridwa pogwiritsa ntchito njira zamasamu zotsimikizira kudalirika kovomerezeka. Kernel imapezeka pamapangidwe a x86_64 ndipo ingagwiritsidwe ntchito m'makina ofunikira kwambiri omwe amafunikira kudalirika komanso kutsimikizira kuti palibe zolephera. Khodi yochokera pulojekitiyi imalembedwa m'chinenero cha Ada ndi chilankhulo chake chotsimikizika cha SPARK 2014. Khodiyo imagawidwa pansi pa laisensi ya GPLv3.
Kupatukana kernel ndi microkernel amene amapereka chilengedwe kwa kuphedwa kwa zigawo olekanitsidwa wina ndi mzake, mogwirizana ndi mosamalitsa molamulidwa ndi malamulo anapatsidwa. Kudzipatula kumatengera kugwiritsidwa ntchito kwa Intel VT-x virtualization extensions ndipo kumaphatikizapo njira zotetezera kulepheretsa bungwe la njira zoyankhulirana zobisika. Kernel yogawa ndi yocheperako komanso yokhazikika kuposa ma microkernel ena, omwe amachepetsa kuchuluka kwa zinthu zomwe zingayambitse kulephera.
Kernel imayenda mu mizu ya VMX, yofanana ndi hypervisor, ndi zigawo zina zonse zimayenda mu VMX yopanda mizu, yofanana ndi machitidwe a alendo. Kufikira pazidazo kumapangidwa pogwiritsa ntchito zowonjezera za Intel VT-d DMA ndikusokoneza kukonzanso, zomwe zimapangitsa kuti zitheke kukhazikitsa zida za PCI zotetezedwa kuzinthu zomwe zikuyenda pansi pa Muen.
Kuthekera kwa Muen kumaphatikizapo kuthandizira makina amitundu yambiri, masamba okumbukira (EPT, Matebulo Owonjezera), MSI (Kusokoneza Mauthenga Osaina), ndi matebulo amakumbukiro atsamba (PAT, Tsamba la Attribute Table). Muen amaperekanso ndondomeko yokhazikika ya robin yokhazikika pa Intel VMX preemptive timer, nthawi yothamanga yomwe sichitha kugwira ntchito, ndondomeko yowunikira zowonongeka, makina ogwiritsira ntchito static resource assignment, njira yochitira zochitika, ndi njira zokumbukira zomwe zimagawana. kulankhulana mkati kuthamanga zigawo.
Imathandizira zida zoyendetsera makina okhala ndi makina a 64-bit, makina a 32- kapena 64-bit, mapulogalamu a 64-bit m'zilankhulo za Ada ndi SPARK 2014, makina owoneka bwino a Linux ndi "unikernels" zokhazikika zozikidwa pa MirageOS pamwamba pa Muen.
Zatsopano zazikulu zomwe zidaperekedwa pakutulutsidwa kwa Muen 1.0:
- Zolemba zasindikizidwa ndi mafotokozedwe a kernel (chipangizo ndi zomangamanga), dongosolo (ndondomeko zadongosolo, Tau0 ndi toolkit) ndi zigawo, zomwe zimalemba mbali zonse za polojekitiyi.
- Chida cha Tau0 (Muen System Composer) chawonjezedwa, chomwe chimaphatikizapo zida zotsimikiziridwa zokonzekera kupanga zithunzi zamakina ndikupanga mautumiki omwe amayendera pamwamba pa Muen. Zida zomwe zaperekedwa zikuphatikiza dalaivala wa AHCI (SATA), Woyang'anira Chipangizo (DM), boot loader, system manager, virtual terminal, etc.
- Dalaivala wa Linux wa muenblock (kukhazikitsa chipangizo chotchinga chomwe chili pamwamba pa kukumbukira kwa Muen) chasinthidwa kuti chigwiritse ntchito blockdev 2.0 API.
- Zida zokhazikitsidwa zowongolera moyo wazinthu zachilengedwe.
- Zithunzi zamakina zasinthidwa kuti zigwiritse ntchito SBS (Signed Block Stream) ndi CSL (Command Stream Loader) kuteteza kukhulupirika.
- Dalaivala yotsimikiziridwa ya AHCI-DRV yakhazikitsidwa, yolembedwa m'chinenero cha SPARK 2014 ndikukulolani kuti mugwirizane ndi ma drive omwe amathandizira mawonekedwe a ATA kapena magawo a disk pazigawo.
- Kupititsa patsogolo chithandizo cha unikernel kuchokera ku MirageOS ndi mapulojekiti a Solo5.
- Chida cha chilankhulo cha Ada chasinthidwa kuti GNAT Community 2021 amasulidwe.
- Njira yophatikizira yosalekeza yasamutsidwa kuchokera ku emulator ya Bochs kupita ku malo okhala ndi QEMU/KVM.
- Zithunzi za zigawo za Linux zimagwiritsa ntchito Linux 5.4.66 kernel.
Source: opennet.ru