Skip to content

Instantly share code, notes, and snippets.

@niamtokik

niamtokik/setup.sh

Forked from adamsteen/setup.sh
Created March 26, 2019 07:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save niamtokik/d05035cd26ba2bd51d6912071ef0a3f9 to your computer and use it in GitHub Desktop.
Save niamtokik/d05035cd26ba2bd51d6912071ef0a3f9 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#openbsd_fix
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