- Notifications
You must be signed in to change notification settings - Fork3
RyanGibb/hillingar
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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.