操作系統本機的所有低級功能都作為附加到應用程序的庫來實現。 可以在任何操作系統上開發應用程序,然後將其編譯為專用內核(概念
生成的環境不包含任何多餘的內容,並且直接與虛擬機管理程序交互,無需驅動程序和系統層,這可以顯著降低管理成本並提高安全性。 使用 MirageOS 分為三個階段:準備配置並確定在環境中使用哪些配置
儘管應用程序和庫是用高級語言 OCaml 形成的,但生成的環境表現出相當好的性能和最小的大小(例如,DNS 服務器僅佔用 200 KB)。 環境的維護也得到了簡化,因為如果您需要更新程序或更改配置,創建並運行一個新環境就足夠了。 支持的
新版本中的主要變化與提供對工具包中提出的新功能的支持有關
- 添加了在隔離環境中運行 unikernel MirageOS 的功能
SPT (“沙盒流程招標”)由工具包提供Solo5 。 使用 spt 後端時,MirageOS 內核在 Linux 用戶進程中運行,這些進程受到基於 seccomp-BPF 的最小隔離; - 實施支持
應用清單 來自 Solo5 項目,它允許您基於 hvt、spt 和 muen 後端獨立定義附加到 unikernel 的多個網絡適配器和存儲設備(genode 和 virtio 後端的使用目前僅限於一台設備); - 基於Solo5(hvt、spt)加強了對後端的保護,例如提供SSP模式下的彙編(Stack Smashing Protection)。
來源: opennet.ru