【发布时间】：2016-12-02 14:23:37
【问题描述】：
mirage 真的是用 OCaml 而不是 C 的 unix 内核的新实现吗？还是 Mirage 仅在 Ocaml 中实现了 unix 内核的一部分？
谢谢。
【问题讨论】：
标签： operating-system mirage unikernel
【发布时间】：2016-12-02 14:23:37
【问题描述】：
MirageOS 根本不是任何 UNIX 系统的实现。 MirageOS 组装 OCaml（或其他语言，通过 FFI）库以提供与传统内核类似的服务。它们中的大多数主要是用带有一些 C 存根的 OCaml 编写的，并且不提供与 UNIX-y 系统调用类似的接口。
有一些库旨在让传统操作系统提供应用程序在 MirageOS 中可能需要的功能（例如，读取文件或发送网络数据包），但这些库并不是对 MirageOS 的重新实现核心。它们是 OCaml 库，它们进行传统的系统调用以使用运行用户空间 OCaml 程序的内核。
【讨论】：