mirage OS是否在OCaml中实现了linux内核？

Question

mirage是用OCaml代替C的unix内核的新实现，是真的吗？或者mirage只是Ocaml中unix内核的一部分？

谢谢。

Answer 1

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

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