Ka mor'a lilemo tse robeli tsa tsoelo-pele, morero oa Muen 1.0 o ile oa lokolloa, ho ntlafatsa kernel ea Karohano, ho ba sieo ha liphoso mohloling oa mohloli o tiisitsoeng ho sebelisoa mekhoa ea lipalo ea ho netefatsa ho tšepahala ka molao. Kernel e fumaneha bakeng sa meralo ea x86_64 mme e ka sebelisoa lits'ebetsong tsa bohlokoa tsa thōmo tse hlokang boemo bo phahameng ba ts'epo le tiisetso ea ho se hlolehe. Khoutu ea mohloli oa morero e ngotsoe ka puo ea Ada le puo ea eona e netefalitsoeng ea SPARK 2014. Khoutu e ajoa tlasa laesense ea GPLv3.
Kernel ea karohano ke microkernel e fanang ka tikoloho bakeng sa ts'ebetsong ea likarolo tse arohaneng le tse ling, tšebelisano ea eona e laoloang ka thata ke melao e fanoeng. Ho itšehla thajana ho ipapisitse le ts'ebeliso ea li-extensions tsa Intel VT-x 'me li kenyelletsa mekhoa ea ts'ireletso ho thibela mokhatlo oa liteishene tsa puisano tse patiloeng. The partitioning kernel is more minimalistic and static ho feta microkernels tse ling, tse fokotsang palo ea maemo a ka bakang ho hloleha.
Kernel e sebetsa ka mokhoa oa motso oa VMX, o ts'oanang le hypervisor, 'me likarolo tse ling kaofela li sebetsa ka mokhoa oa VMX oo e seng oa motso, o ts'oanang le lits'ebetso tsa baeti. Ho fihlella lisebelisoa ho etsoa ka li-extensions tsa Intel VT-d DMA le ho sitisa ho etsa limmapa, e leng se etsang hore ho khonehe ho kenya ts'ebetsong e sireletsehileng ea lisebelisoa tsa PCI ho likarolo tse sebetsang tlas'a Muen.
Bokhoni ba Muen bo kenyelletsa ts'ehetso bakeng sa lits'ebetso tsa mantlha tse ngata, maqephe a memori a hahelletsoeng (EPT, Litafole tsa Leqephe le Atolositsoeng), MSI (Lits'oants'o tsa Molaetsa o saenneng), le litafole tsa maqephe a memori (PAT, Letlapa la Letlapa la Letlapa). Muen e boetse e fana ka kemiso e tsitsitseng ea "round-robin scheduler" e ipapisitseng le Intel VMX preemptive timer, compact runtime e sa ameng ts'ebetso, sistimi ea tlhahlobo ea likotsi, enjene ea ho fana ka lisebelisoa tse thehiloeng melaong, sistimi ea ho sebetsana le liketsahalo, le liteishene tsa memori tse arolelanoang. puisano ka hare ho likarolo tse sebetsang.
E ts'ehetsa lisebelisoa tse sebetsang tse nang le khoutu ea mochini oa 64-bit, mechini ea 32- kapa 64-bit, lisebelisoa tsa 64-bit ka lipuo tsa Ada le SPARK 2014, mechini e sebetsang ea Linux le "unikernels" e ikemetseng e thehiloeng ho MirageOS holim'a Muen.
Litlhahiso tsa mantlha tse fanoeng tokollong ea Muen 1.0:
- Litokomane li hatisitsoe ka litlhaloso tsa kernel (sesebelisoa le meralo), tsamaiso (lipholisi tsa tsamaiso, Tau0 le toolkit) le likaroloana, tse ngolang likarolo tsohle tsa morero.
- Setsi sa lithulusi sa Tau0 (Muen System Composer) se kentsoe, se kenyelletsang sehlopha sa likarolo tse netefalitsoeng tse seng li entsoe bakeng sa ho etsa litšoantšo tsa sistimi le ho nts'etsapele lits'ebeletso tse tloaelehileng tse tsamaeang ka holim'a Muen. Likarolo tse fanoeng li kenyelletsa mokhanni oa AHCI (SATA), Motsamaisi oa Sesebelisoa (DM), bootloader, mookameli oa sistimi, terminal ea sebele, joalo-joalo.
- Mokhanni oa Linux oa muenblock (ts'ebetso ea sesebelisoa sa block se sebetsang ka holim'a mohopolo o arolelanoang oa Muen) o fetotsoe ho sebelisa blockdev 2.0 API.
- Lisebelisoa tse kentsoeng tsa ho laola potoloho ea bophelo ea likarolo tsa tlhaho.
- Litšoantšo tsa tsamaiso li fetotsoe ho sebelisa SBS (Signed Block Stream) le CSL (Command Stream Loader) ho sireletsa botšepehi.
- Mokhanni ea netefalitsoeng oa AHCI-DRV o kentsoe tšebetsong, e ngotsoeng ka puo ea SPARK 2014 mme e u lumella ho hokela li-drive tse tšehetsang sebopeho sa ATA kapa likarolo tsa disk ka bomong ho likarolo.
- Ts'ehetso e ntlafalitsoeng ea unikernel ho tsoa mererong ea MirageOS le Solo5.
- Sesebelisoa sa puo ea Ada se ntlafalitsoe bakeng sa tokollo ea GNAT Community 2021.
- Sistimi e tsoelang pele ea ho kopanya e fetisitsoe ho tloha ho emulator ea Bochs ho ea libakeng tse nang le QEMU/KVM.
- Litšoantšo tsa likarolo tsa Linux li sebelisa Linux 5.4.66 kernel.
Source: opennet.ru