From 9cf163d98cc0f5279c69a48b111904dd42146cb4 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 21 Jul 2016 21:40:10 +0200 Subject: [PATCH] updates --- Posts/Solo5 | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/Posts/Solo5 b/Posts/Solo5 index d990e8b..8103d79 100644 --- a/Posts/Solo5 +++ b/Posts/Solo5 @@ -36,12 +36,11 @@ cp machine/_types.h machine/endian.h sys/_types.h sys/cdefs.h x86/_types.h x86/e A bunch of opam pins are needed (using pins instead of the [solo5 repository](https://github.com/djwillia/opam-solo5/) since pins are local to compiler switches, whereas repositories are global, and I needed to modify some bits anyways): ```bash -opam pin add -n solo5-kernel-virtio https://github.com/hannesm/solo5.git#clang -opam pin add -n ocaml-freestanding https://github.com/hannesm/ocaml-freestanding.git#FreeBSD-clang -opam pin add -n mirage-solo5 https://github.com/djwillia/mirage-platform.git#solo5 -opam pin add -n mirage https://github.com/hannesm/mirage.git#solo5 -opam pin add -n mirage-bootvar-solo5 https://github.com/djwillia/mirage-bootvar-solo5.git -opam pin add -n mirage-console https://github.com/djwillia/mirage-console.git#solo5 +opam pin add -n solo5-kernel-virtio https://github.com/hannesm/solo5.git#FreeBSD +opam pin add -n ocaml-freestanding https://github.com/hannesm/ocaml-freestanding.git#FreeBSD +opam pin add -n mirage https://github.com/hannesm/mirage.git#s5 +opam pin add -n mirage-bootvar-solo5 https://github.com/mirage/mirage-bootvar-solo5.git +opam pin add -n mirage-console https://github.com/mirage/mirage-console-solo5.git ``` An `opam install mirage mirage-logs solo5-kernel-virtio mirage-bootvar-solo5 mirage-console mirage-solo5` should provide you with a basic set of libraries. @@ -50,7 +49,7 @@ Now you can get the [mirage-skeleton](https://github.com/mirage/mirage-skeleton) Once that is in place, start your VM: ```bash -sudo grub2-bhyve -M 128M console +sudo grub-bhyve -M 128M console > multiboot (host)/home/hannes/mirage-skeleton/console/mir-console.virtio > boot