海市蜃楼OS在OCaml中实现了linux内核吗？

Question

海市蜃楼是使用OCaml而不是C的unix内核的新实现吗？或者海市蜃楼只在Ocaml中实现了unix内核的一部分？

感谢。

Answer 1

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

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