From bdc5d8d0f101a5513a441a36cbffe448d0cc6e8a Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 14 Oct 2016 13:50:44 +0100 Subject: [PATCH] minor --- Posts/Solo5 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Posts/Solo5 b/Posts/Solo5 index 738d89d..2a805a0 100644 --- a/Posts/Solo5 +++ b/Posts/Solo5 @@ -33,7 +33,7 @@ TMP="/tmp/myinclude" mkdir $TMP $TMP/sys $TMP/x86 $TMP/machine cd /usr/include cp machine/_stdint.h machine/_types.h machine/endian.h $TMP/machine -cp sys/_null.h sys/_stdint.h sys/_types.h sys/cdefs.h $TMP/sys +cp sys/_null.h sys/_stdint.h sys/_types.h sys/cdefs.h sys/endian.h $TMP/sys cp x86/float.h x86/_stdint.h x86/stdarg.h x86/endian.h x86/_types.h $TMP/x86 cp float.h osreldate.h stddef.h stdint.h stdbool.h stdarg.h $TMP ``` @@ -43,6 +43,9 @@ A bunch of opam pins are needed (using pins instead of the [solo5 repository](ht 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 --dev-repo + +opan pin add -n mirage-entropy-solo5 --dev-repo +opam pin add -n nocrypto https://github.com/hannesm/ocaml-nocrypto.git#p ``` 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.