Re: [MirageOS-devel] Mirage/ARM plans

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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

On 05/14/2014 10:31, Thomas Leonard wrote:
> Personally, I'd be happy to remove functions like
> Pervasives.open_in (which would probably make the capabilities
> people happy too). But I can imagine it might mean some OCaml
> libraries wouldn't compile without modifications, even if that part
> of them wasn't needed (e.g. an XML library that offers the option
> of loading from a file).

I'd approach this by not modifying the API of OCamls standard library,
but removing the primitives and runtime, and inserting stubs which
raise an NotImplemented exception in the OCaml standard library.

> If compiled with HAVE_LIBC, Mini-OS currently provides a minimal 
> filesystem API that lets you open anything under /var/log (writes
> then go to the console), /dev/mem, /dev/ptmx and some things under 
> /var/lib/xen.

But who uses this? There is also code to reseed the RNG in the OCaml
runtime, which currently tries to open /dev/urandom -- I don't think
that is very useful and the way to go on Xen.


cu soon,

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

iQIcBAEBCQAGBQJTcy7XAAoJELyJZYjffCjuBqkP/2GjuYqNtEIgQzK1ojo4c0t+
rw2WzAogguIR9l8rF139ija+CdYz6ZFPf81oFV5XHMLF2jOFvbhO+gDY+lYWYaa3
6c3J1ak3stcXf5YY+plCIT00Q00dY7tJBUMQJ6OUHaeAq5ghnaniuMDAfNrX/W2Q
9vyG9+uB1COWWIDKJgA6e9OJNg92xePjJkaVW6DhwAILc092gMUKKfXMb8sk6pEG
zN7QmCiMdOmnpKgIKsDcL+WX9uh9Tp/TfIdNufS+cKoWhrhqyNbKx/ITHX0iGB+5
DcIbYV1KiLauo7uEFoN/Bv2aTyJy1D5XE+Hy3Ld2LoucbeSFqVT0dPq0ewUmPBxo
1Qa5ukt16Y3V0oeSVyD0gsegJoli0VgjuZrPegbuoO9DN9fr3Lnxcd7hmLjsAB6i
TI3+rODlW36Rd00LxDb92ToJT8bRIr+gjIalwm9vUHHm2lQvuZXVJTbQQNPKSkwG
gPbzWcX5D23jqhAxLqxdSWdVcD1FQSTFMs9EAOlNW39vOiYvIDZ9eTXDoYd0Z0/F
z0P9ImEE1RovGg6Kg1hpHq+cs56p1OC/WKHLW/MP97DvpvBi5at7ax3IEjINSi2x
woG6XPloiI9rQIdTOapvCVRPgIQRGNlOoCJBL1L5+bYp8tFUSvg2wdrF8UZSsDas
PlEH0YDmszAzycS63nrC
=Uvrq
-----END PGP SIGNATURE-----

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