Skip to content

Instantly share code, notes, and snippets.

@adamsteen

adamsteen/setup.sh

Last active April 7, 2019 11:12
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 2 You must be signed in to fork a gist
  • Save adamsteen/6bdae8dc93d8f91f9eb6cf1dbbbbe4b5 to your computer and use it in GitHub Desktop.
Save adamsteen/6bdae8dc93d8f91f9eb6cf1dbbbbe4b5 to your computer and use it in GitHub Desktop.
Download ZIP
OpenBSD Current: MirageOS
Raw
setup.sh
#!/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 https://github.com/adamsteen/solo5.git#fix_no_debug_345
opam install mirage -y
# mirage-skeleton tutorials
git clone https://github.com/mirage/mirage-skeleton.git
cd mirage-skeleton/tutorial/noop
mirage configure -t hvt
gmake depends
gmake
doas ./solo5-hvt noop.hvt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment