did mirage OS在OCaml中實現了linux內核嗎？

Question

mirage是否真的是OCaml而不是C的unix內核的新實現？或者是海市蜃樓只實現了Ocaml中的一部分unix內核？

謝謝。

Answer 1

MirageOS根本不是任何UNIX系統的實現。 MirageOS通過組裝OCaml（或其他語言，通過FFI）庫來提供與傳統內核類似的服務。它們中的大多數主要以OCaml編寫，並帶有一些C存根，並且不提供與UNIX-y系統調用相似的接口。

有幾個庫可以讓傳統的操作系統提供應用程序在MirageOS中可能需要的功能（例如，讀取文件或發送網絡數據包），但這些庫不是重新實現內核。它們是OCaml庫，它們使傳統的系統調用使用運行用戶空間OCaml程序的內核。