د اتو کلونو پراختیا وروسته، د Muen 1.0 پروژه خپره شوه، د جلا کولو کرنل رامینځته کول، د سرچینې کوډ کې د غلطیو نشتوالی چې د رسمي اعتبار تصدیق ریاضياتي میتودونو په کارولو سره تایید شوی. کرنل د x86_64 معمارۍ لپاره شتون لري او د ماموریت مهم سیسټمونو کې کارول کیدی شي چې د اعتبار لوړې کچې او د ناکامۍ تضمین ته اړتیا لري. د پروژې منبع کوډ د اډا په ژبه او د هغې د تایید وړ بولۍ SPARK 2014 کې لیکل شوی. کوډ د GPLv3 جواز لاندې ویشل شوی.
د جلا کولو کرنل یو مایکروکرنل دی چې د یو بل څخه جلا شوي اجزاو اجرا کولو لپاره چاپیریال چمتو کوي ، چې متقابل عمل د ورکړل شوي مقرراتو لخوا په کلکه تنظیم کیږي. جلا کول د Intel VT-x مجازی کولو توسیعونو کارولو پراساس دی او د پټو مخابراتو چینلونو تنظیم کولو مخنیوي لپاره امنیتي میکانیزمونه پکې شامل دي. د تقسیم کولو کرنل د نورو مایکروکرنیلونو په پرتله خورا لږ او جامد دی ، کوم چې د هغه حالتونو شمیر کموي چې د ناکامۍ لامل کیدی شي.
کرنل په VMX روټ حالت کې چلیږي، د هایپروایزر په څیر، او نور ټول اجزا په VMX غیر روټ حالت کې چلیږي، د میلمنو سیسټمونو ته ورته. تجهیزاتو ته لاسرسی د Intel VT-d DMA توسیعونو په کارولو سره رامینځته شوی او د ریمپینګ مداخله کوي ، کوم چې دا امکان رامینځته کوي چې د PCI وسیلو خوندي پابندۍ د Muen لاندې برخو ته پلي کړي.
د Muen وړتیاوو کې د ملټي کور سیسټمونو لپاره ملاتړ شامل دي، د نیست شوي حافظې پاڼې (EPT، پراخ شوي پاڼې میزونه)، MSI (پیغام سیګنال شوي مداخلې)، او د حافظې پاڼې ځانګړتیا جدولونه (PAT، Page Attribute Table). Muen د Intel VMX پریمپټیو ټایمر پراساس یو ثابت راؤنډ رابین مهالویش هم چمتو کوي ، یو کمپیکٹ رن ټایم چې په فعالیت اغیزه نه کوي ، د حادثې پلټنې سیسټم ، د قاعدې پراساس د جامد سرچینو ګمارنې میکانیزم ، د پیښې اداره کولو سیسټم ، او د حافظې لپاره شریک شوي چینلونه. د چلولو برخو کې اړیکه.
دا د 64-bit ماشین کوډ، 32- یا 64-bit مجازی ماشینونو، په Ada او SPARK 64 ژبو کې د 2014-bit غوښتنلیکونو، د لینوکس مجازی ماشینونو او د Muen په سر کې د MirageOS پراساس په ځان کې موجود "unikernels" سره د چلولو برخو ملاتړ کوي.
د Muen 1.0 په خپرولو کې وړاندیز شوي اصلي نوښتونه:
- اسناد د کرنل (آلې او جوړښت)، سیسټم (سیسټم پالیسۍ، Tau0 او اوزار کټ) او اجزاو لپاره مشخصاتو سره خپاره شوي، کوم چې د پروژې ټول اړخونه مستند کوي.
- د Tau0 (Muen System Composer) Toolkit اضافه شوی، کوم چې د سیسټم عکسونو کمپوز کولو او معیاري خدماتو رامینځته کولو لپاره د چمتو شوي تصدیق شوي اجزاو سیټ شامل دي چې د Muen په سر کې پرمخ ځي. چمتو شوي اجزا شامل دي AHCI (SATA) ډرایور، د وسیلې مدیر (DM)، بوټ لوډر، سیسټم مدیر، مجازی ټرمینل، او نور.
- د میوین بلاک لینکس ډرایور (د بلاک وسیلې پلي کول چې د میوین شریک شوي حافظې په سر کې روان دي) د بلاک ډیف 2.0 API کارولو لپاره بدل شوی.
- د اصلي اجزاو د ژوند دوره اداره کولو لپاره پلي شوي وسیلې.
- د سیسټم عکسونه د بشپړتیا ساتلو لپاره د SBS (لاسلیک شوي بلاک سټریم) او CSL (د کمانډ سټریم لوډر) کارولو لپاره بدل شوي.
- یو تایید شوی AHCI-DRV ډرایور پلي شوی چې د SPARK 2014 په ژبه کې لیکل شوی او تاسو ته اجازه درکوي هغه ډرایو سره وصل کړئ چې د ATA انٹرفیس یا انفرادي ډیسک برخې برخې برخې ته ملاتړ کوي.
- د MirageOS او Solo5 پروژو څخه د یونیکرنل ملاتړ ښه شوی.
- د اډا ژبې توکی کټ د GNAT ټولنې 2021 خوشې کولو لپاره تازه شوی.
- د دوامداره ادغام سیسټم د بوچس ایمولیټر څخه QEMU/KVM نیست شوي چاپیریال ته لیږدول شوی.
- د لینکس برخې عکسونه د لینکس 5.4.66 کرنل کاروي.
سرچینه: opennet.ru