Re: [MirageOS-devel] Mirage/ARM plans

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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

On 05/13/2014 14:53, Thomas Leonard wrote:


Looking briefly into runtime and MiniOS, there isn't much of a C
library needed - or do I oversea something big? A libm, malloc, the
common string routines, memcmp/cpy. (well, plus libgmp for zarith ;)

I've the feeling we could also collect just the needed pieces (by
adjusting the OCaml runtime to e.g. not try to access any non-existant
file system, removing the stubs out of minios) from any libc and
tighten the OCaml runtime in the same go.


Cheers,

Hannes

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (FreeBSD)

iQIcBAEBCQAGBQJTcoTeAAoJELyJZYjffCju8XcP/2cojUM8qXEJQpogWDkbN17V
RfYwSxAly7FICK68PnPea4QTRYvufU/RZZIWsQG5FiXh2dL1wHDljdrN6xO4wJIO
D9lC/y0Z0APqw2VZm+9rwt+SQr1PW54h3yE4qWaRRFQ6MHurWiZkhKBWiV5InaSg
ioo0ywH8gysU2w3RLmMC4lbNK6sSiWEAakVJVXstC5TXQapjYkBGx7rQxGLDVxI6
ad3R9i0wQEpqdn89ILHmwWZWxZa+qNTmsqKfpvcNAN+DD/x9LwIHVcMFeXfeOVdx
8/6gW6SCSzURGnfM7CZkVckCRA+6VOqEjZCXuY3l4DUCTGLvqQFXsk8gEIGpDx2T
NBeyxFEAzKmvh9sM+B0YLCH4xolCoeXnmDG+zpV9IBycPsrcAyffb6bhdht3D8gi
Edm0ilXA453TtcJ1xnYan/1k29UglMkIv6nv+wc1MR6QdsLQPOES9co7XdtnGmga
Rbe660bPXHCDigBbvpJYM1mlZtYIzoV4T2mJuMZ0PDXvZP4el34myaHRKlSRaZNt
QYZ1uF+DSZizMs2XDXJi4e1tcvWUJF8H0IdtGdtPQrbao3C2PzFAl/WEBFQjV0Lw
Ue+UMi3ZJuGQX/gPwW0vKhcn3D8JqwwXJS8q8N3pbxXdb9hrmLR+G3pZfcBZSKsy
uC2S6fLJebjRYdf2FBBz
=nc+3
-----END PGP SIGNATURE-----

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