Repository files navigation

An arctic mirage

To build aMirageOS unikernel withNix:

# create a flake from Hillingar's default template$ nix flake new. -t github:/RyanGibb/hillingar# substitute the name of the unikernel you're building$ sed -i's/throw "Put the unikernel name here"/"<unikernel-name>"/g' flake.nix# build the unikernel with Nix for a particular target$ nix build .\#<target>

See an example inexamples/hello, and build it from the project root withnix build .\?dir=examples/hello.If you've already configured your unikernel withmirage configure and checked in into version control, passconfigured = true; tomkUnikernelPackages.

Other outputs which may be useful for debugging include:

• <target>-configured: the project after having invokedmirage configure.
• <target>-monorepo: the result ofopam monorepo that is provided to the unikernel build in theduniverse directory.
• <target>-scope: theNixpkgs scope created by an opam solve for thedune build.
• <target> is an alias for<target>-scope.<unikernel-name.

Where target is one of xen, qubes, unix, macosx, virtio, hvt, spt, muen, or genode.

Read more atryan.freumh.org/blog/hillingar.

Built on top oftweag/opam-nix/pull/18.