Пас аз ҳашт соли рушд, лоиҳаи Muen 1.0 бароварда шуд, ки ядрои Separation-ро таҳия кард, ки мавҷуд набудани хатогиҳо дар коди сарчашма бо истифода аз усулҳои математикии тасдиқи эътимоднокии расмӣ тасдиқ карда шуд. Ядро барои меъмории x86_64 дастрас аст ва метавонад дар системаҳои муҳими миссия истифода шавад, ки сатҳи баланди эътимоднокӣ ва кафолати нокомиро талаб мекунанд. Рамзи сарчашмаи лоиҳа бо забони Ада ва лаҳҷаи тасдиқшавандаи он SPARK 2014 навишта шудааст. Рамз таҳти иҷозатномаи GPLv3 паҳн карда мешавад.
Ядрои ҷудокунӣ як микроядроест, ки барои иҷрои ҷузъҳои аз ҳамдигар ҷудошуда муҳитро фароҳам меорад, ки таъсири мутақобилаи онҳо бо қоидаҳои додашуда ба таври қатъӣ танзим карда мешавад. Изолятсия ба истифодаи васеъшавии виртуализатсияи Intel VT-x асос ёфтааст ва механизмҳои амниятӣ барои бастани ташкили каналҳои алоқаи махфиро дар бар мегирад. Ядрои тақсимкунӣ нисбат ба дигар микроядроҳо минималистӣ ва статикӣ аст, ки шумораи ҳолатҳоеро, ки боиси нокомӣ мешаванд, кам мекунад.
Ядро дар реҷаи решавӣ VMX, шабеҳи гипервизор кор мекунад ва ҳамаи ҷузъҳои дигар дар реҷаи VMX, ки ба системаҳои меҳмонон монанданд, кор мекунанд. Дастрасӣ ба таҷҳизот бо истифода аз васеъшавии Intel VT-d DMA анҷом дода мешавад ва азнавсозии қатъ, ки имкон медиҳад, ки пайвасти бехатари дастгоҳҳои PCI ба ҷузъҳои зери Muen иҷрошаванда амалӣ карда шавад.
Имкониятҳои Муен дорои дастгирии системаҳои бисёраслӣ, саҳифаҳои хотираи лона (EPT, Extended Page Tables), MSI (Message Signaled Interrupts) ва ҷадвалҳои атрибутҳои саҳифаи хотира (PAT, Table Attribute Table) мебошанд. Muen инчунин як ҷадвали собит даври даврӣ дар асоси таймери пешгирикунандаи Intel VMX, вақти кори паймоне, ки ба иҷроиш таъсир намерасонад, системаи аудити садама, муҳаррики таъини захираҳои статикӣ дар асоси қоида, системаи коркарди рӯйдодҳо ва каналҳои хотираи муштарак барои иртибот дар дохили ҷузъҳои иҷрошаванда.
Он ҷузъҳои иҷрошавандаро бо рамзи мошини 64-битӣ, мошинҳои виртуалии 32- ё 64-битӣ, замимаҳои 64-битӣ дар забонҳои Ada ва SPARK 2014, мошинҳои виртуалии Linux ва “unikernel”-ҳои мустақил дар асоси MirageOS дар болои Muen дастгирӣ мекунад.
Навовариҳои асосие, ки дар нашри Muen 1.0 пешниҳод шудаанд:
- Ҳуҷҷатҳо бо мушаххасоти ядро (дастгоҳ ва меъморӣ), система (сиёсати система, Tau0 ва асбобҳо) ва ҷузъҳо нашр шудаанд, ки тамоми ҷанбаҳои лоиҳаро ҳуҷҷатгузорӣ мекунанд.
- Маҷмӯаи асбобҳои Tau0 (Muen System Composer) илова карда шудааст, ки маҷмӯи ҷузъҳои тасдиқшудаи омода барои эҷоди тасвирҳои система ва таҳияи хидматҳои стандартиро дар бар мегирад, ки дар болои Muen кор мекунанд. Ба ҷузъҳои пешниҳодшуда драйвери AHCI (SATA), менеҷери дастгоҳ (DM), боркунаки пурборкунанда, мудири система, терминали виртуалӣ ва ғайра дохил мешаванд.
- Драйвери muenblock Linux (амалии дастгоҳи блоке, ки дар болои хотираи муштараки Muen кор мекунад) ба истифодаи blockdev 2.0 API табдил дода шудааст.
- Воситаҳо барои идоракунии давраи ҳаёти ҷузъҳои ватанӣ татбиқ карда шуданд.
- Тасвирҳои система ба истифодаи SBS (Signed Block Stream) ва CSL (Command Stream Loader) барои ҳифзи якпорчагӣ табдил дода шуданд.
- Драйвери тасдиқшудаи AHCI-DRV амалӣ карда шуд, ки бо забони SPARK 2014 навишта шудааст ва ба шумо имкон медиҳад, ки дискҳоеро, ки интерфейси ATA ё қисмҳои диски инфиродиро ба ҷузъҳо дастгирӣ мекунанд, пайваст кунед.
- Дастгирии мукаммали unikernel аз лоиҳаҳои MirageOS ва Solo5.
- Маҷмӯаи забони Ada барои нашри GNAT Community 2021 навсозӣ шудааст.
- Системаи муттаҳидсозии муттасил аз эмулятори Bochs ба муҳитҳои лонаҳои QEMU/KVM интиқол дода шудааст.
- Тасвирҳои ҷузъи Linux ядрои Linux 5.4.66-ро истифода мебаранд.
Манбаъ: opennet.ru