Operating system 幻影OS是否在OCaml中实现了linux内核？

mirage是用OCaml而不是C实现unix内核的新方法，这是真的吗？还是说幻影只是Ocaml中unix内核的一部分

---

谢谢。

MirageOS根本不是任何UNIX系统的实现。MirageOS组装OCaml（或其他语言，通过FFI）库，以提供与传统内核类似的服务。其中大多数都是用OCaml编写的，带有一些C存根，并且没有为UNIX-y系统调用提供类似的接口

有一些库是为了让传统操作系统提供MirageOS中应用程序可能需要的功能而构建的（例如，读取文件或发送网络数据包），但这些库不是内核的重新实现。它们是OCaml库，通过传统的系统调用来使用运行用户空间OCaml程序的内核