MirageOS - Невозможно собрать unikernel для XEN

Question

Я написал простой Unikernel на базе MirageOS для выполнения базового HTTP-вызова GET. Хотя он работает без проблем, когда я запускаю его как бинарный файл Unix, в тот момент, когда я настраиваю его для XEN (mirage configure --xen) и запустить make Команда, я получаю следующую ошибку:

ocamlbuild -use-ocamlfind -pkgs lwt.syntax,cohttp.lwt,cohttp.lwt-core,mirage-console.xen,mirage-http,mirage-types.lwt -tags "syntax(camlp4o),annot,bin_annot,strict_sequence,principal" -tag-line "<static*.*>: -syntax(camlp4o)" -cflag -g -lflags -g,-linkpkg,-dontlink,unix main.native.o
+ ocamlfind ocamlopt -g -linkpkg -dontlink unix -output-obj -package mirage-types.lwt -package mirage-http -package mirage-console.xen -package cohttp.lwt-core -package cohttp.lwt -package lwt.syntax -syntax camlp4o unikernel.cmx main.cmx -o main.native.o
File "_none_", line 1:
Error: No implementations provided for the following modules:
         Unix referenced from /home/mirage/.opam/system/lib/lwt/lwt-unix.cmxa(Lwt_engine),
           /home/mirage/.opam/system/lib/lwt/lwt-unix.cmxa(Lwt_unix),
           /home/mirage/.opam/system/lib/lwt/lwt-unix.cmxa(Lwt_io),
           /home/mirage/.opam/system/lib/lwt/lwt-unix.cmxa(Lwt_log),
           /home/mirage/.opam/system/lib/ipaddr/ipaddr_unix.cmxa(Ipaddr_unix),
           /home/mirage/.opam/system/lib/xenstore_transport/xenstore_transport_lwt_unix.cmxa(Xs_transport_lwt_unix_client),
           /home/mirage/.opam/system/lib/conduit/conduit-lwt-unix.cmxa(Conduit_lwt_unix),
           /home/mirage/.opam/system/lib/cohttp/cohttp_lwt_unix.cmxa(Cohttp_lwt_unix_debug),
           /home/mirage/.opam/system/lib/cohttp/cohttp_lwt_unix.cmxa(Cohttp_lwt_unix)
Command exited with code 2.
Compilation unsuccessful after building 7 targets (0 cached) in 00:00:03.
make: *** [main.native.o] Error 10

Я только начал работать с MirageOS и OCaml, так что это может быть глупым вопросом, но сейчас я действительно не знаю, что делать.

Answer 1

Вы не должны использовать Cohttp_lwt_unix, Как следует из названия, он работает на Unix, а не на XEN. Если вам нужен пример веб-сервера, защищенного от xen, вы можете взглянуть на этот скелет или код, используемый mirage-seal.

Answer 2

Как говорит @Drup, вам нужно избегать любых пакетов "unix", если вы хотите быть переносимым. Вместо этого используйте адаптер Mirage для cohttp. Этот должен работать:

https://github.com/mirage/mirage-http