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

Soh*_*deh 3 operating-system unikernel mirage

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

谢谢.

yom*_*ono 5

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

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