Something went wrong. Try again.
OCaml cross-compiler for Solo5 unikernels, with macOS/Apple silicon host support
unikernel mirageos ocaml
Something went wrong. Try again.
778 B · 37 lines
at main
1234567891011121314151617181920212223242526272829303132333435363738(executable (name dune_gen) (modules dune_gen))
(rule (alias runtest) (mode promote) (action (with-stdout-to dune.inc (run ./dune_gen.exe))))
(include dune.inc)
; As we add the manifest to a library, we'll need to explicitly ask for it to be; linked in (for instance by telling the compiler / linker that the; `__solo5_mft1_note` symbol is undefined) otherwise we'll end up with errors such; as: `solo5-hvt: ...: Invalid or unsupported executable`(library (name solo5os) (modules) (foreign_stubs (language c) (names startup manifest)))
(rule (targets manifest.c) (deps manifest.json) (action (run solo5-elftool gen-manifest manifest.json manifest.c)))
(alias (name default) (enabled_if (= %{context_name} solo5)) (deps (alias_rec all)))