Inti pemisahan dilepaskan (inti pemisahan) Muen, dikembangkan oleh perusahaan Swiss Codelab.
Muen hanya mendukung platform Intel x86_64 dan memastikan bahwa kernel OS dan aplikasi yang berjalan di dalamnya tidak dapat mengakses sumber daya melebihi kuota yang dialokasikan. Hal ini berlaku, antara lain, pada RAM, waktu CPU, dan akses ke perangkat I/O.
Kernel Linux, program Ada/SPARK, serta OS perpustakaan yang ditulis menggunakan kerangka kerja Solo5 (misalnya, MirageOS di OCaml) didukung sebagai aplikasi tamu. Driver kernel disediakan untuk Linux untuk mempercepat akses ke PCI dan sumber daya host lainnya.
Muen sendiri sepenuhnya diimplementasikan di SPARK, subset aman dari bahasa Ada, dan telah diverifikasi bebas dari kesalahan runtime. Kode ini didistribusikan di bawah lisensi GPLv3.
Sumber: linux.org.ru