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).