From 949839852f46e87e1d955c6e010eda8c895eb392 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 21 Jul 2016 22:45:51 +0200 Subject: [PATCH] . --- Posts/Solo5 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Posts/Solo5 b/Posts/Solo5 index 503d85f..171e984 100644 --- a/Posts/Solo5 +++ b/Posts/Solo5 @@ -90,7 +90,7 @@ I have not yet played with network, TLS, and other things... ## Open issues -- There are several things to upstream, such as the clang changes and FreeBSD support for ocaml-freestanding and other libraries (see [this tracking issue](https://github.com/Solo5/solo5/issues/61) +- There are several things to upstream, such as the clang changes and FreeBSD support for ocaml-freestanding and other libraries ([this tracking issue](https://github.com/Solo5/solo5/issues/61)) - The `Makefile` generated by mirage should be in the intersection of BSD and GNU make - I'm not happy to require `ld` from the ports (but the one in base does not produce sensible binaries with `-z max-page-size=0x1000` [related](https://github.com/Solo5/solo5/pull/56)) - I'm also not happy to copy around include files and depend on gcc just for `stddef.h`, is there any sensible way to have freestanding includes? Should `-nostdinc` be used? (It looks necessary on Linux).