ОС Mirage внедрила ядро Linux в OCaml?
Правда ли, что mirage - это новая реализация ядра Unix с OCaml вместо C? или mirage реализован только часть ядра Unix в Ocaml?
Благодарю.
1 ответ
MirageOS вообще не является реализацией какой-либо системы UNIX. MirageOS собирает библиотеки OCaml (или другого языка, через FFI) для предоставления услуг, аналогичных традиционному ядру. Большинство из них написаны в основном на OCaml с некоторыми заглушками C и не предоставляют интерфейсов, аналогичных системным вызовам UNIX-y.
Существует несколько библиотек, которые созданы для того, чтобы позволить традиционной операционной системе предоставлять функциональность, которая может понадобиться приложению в MirageOS (например, чтение файла или отправка сетевого пакета), но эти библиотеки не являются повторными реализациями ядра. Это библиотеки OCaml, которые выполняют традиционные системные вызовы, чтобы использовать ядро, на котором запущена программа OCaml в пользовательском пространстве.