Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
OpenBSD Current: MirageOS
#!/bin/sh -e
# required packages
doas pkg_add ocaml opam
# setup opam and mirage
opam init
eval $(opam env)
# pins to fix for OpenBSD Current (mincore fixes and noretpoline)
opam pin solo5-bindings-hvt
opam install mirage -y
# mirage-skeleton tutorials
git clone
cd mirage-skeleton/tutorial/noop
mirage configure -t hvt
gmake depends
doas ./solo5-hvt noop.hvt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment