diff --git a/docs/building.md b/docs/building.md index 5f5f1a0b..851cbf0e 100644 --- a/docs/building.md +++ b/docs/building.md @@ -89,6 +89,46 @@ Limited: purpose of providing low-level bootstrap code to MirageOS and do not provide any network or block I/O functionality. +# Building a unikernel + +Solo5 can be installed via [`opam`](https://opam.ocaml.org) and provides a +_toolchain_ which can be used to compile a simple program as a unikernel. + +```sh +$ opam install solo5 +$ eval $(opam env) +$ cat >main.c <manifest.json <= 0x10b000 < stack < 0x20000000 +Solo5: solo5_exit(0) called +``` + # Running Solo5-based unikernels Solo5 itself does not provide a high-level mangement or orchestration layer for