Re: [MirageOS-devel] OCaml-TLS directly on Xen

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

Some minor updates:

On 09/17/2014 12:53, Hannes Mehnert wrote:
> gmp (the GNU multi-precision arithmetic library) 
> ------------------------------------------------
> 
> Configure (esp. config.guess) gets confused by an arm dualcore: 
> http://berlin.ccc.de/~hannes/gmp-6a.diff fixes this.

Submitted upstream
https://gmplib.org/list-archives/gmp-bugs/2014-October/003563.html

> zarith ------

Actually, lots of symbols (fflush, exit, printf, stdout) are only
needed for tracing/debugging. I submitted a patch upstream as well:
https://forge.ocamlcore.org/tracker/?func=detail&atid=1096&aid=1434&group_id=243


Hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJUSluAAAoJELyJZYjffCjus+8QAK/FJYE2TNzDbsaFf/98LJZz
G+PQW7m/75g3uAskSMx1YEpNoIsWTAxKU5mo1ULfuRpKA4Ml3KkXqPpTEBB2a9A0
BYq4J1UmOzaTmA+H3yyeQVGtNdBuyd62/I+viPLj9IJGgkYRr049Pf8Fr5gxtFf2
rGcphbofP6mSyQijlMJ0QYVoxlxVDxJugd1J8bjh/WBxj5vKOsVXnGxJVRZweqLg
D0VkWWN1JAmY01XRMPFBeNPascq1SmQC/FRYh3sOs61bbKAc0a5iwH+e4acXkQwU
SUU+QRG8LLEbslccb+sNCcDZkDmxcKgzoyiYsBEBOkS7xmC4d11cmxNUP4XLiL3b
kEG9dCPxa2moYLw5PuAM2L3iddiPwYJMfWsZiQVbr2JnOO/LSu7EsFKEtvDoOdmL
5+ZowKa5stDq+l7v4Xs4kQLjXADWbGfoqJuhtod+tIWEOH1S4BblNK8Q9F7ZUZYZ
LLamhLXKJ1UCZf3fSJ8gabfSoczLGL1KTfY4cx8U3dpvdPDH6gtJT9dlKA9dRoiE
dXwHDb2KLFzxFEvCM9YsVOMw8eq7h4K17PYssPjWyEkZ7Hb2wPtdIzhSiZHwYOvR
BnSwdWT7IvMlBeFoi+DPbqj3AgM6NxtNNrWckfpKHDzh5ubHE2pi6Wb6sV1Cbc9X
jKrLQT8SyHC9LI+c/xcb
=Ucmn
-----END PGP SIGNATURE-----

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel