Re: [MirageOS-devel] Mirage/ARM plans

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> Note that when I refer to 'libc', I'm really talking about libm (which
> is essential), a printf implementation, and malloc/calloc.

Do we steel need the printf stuff for ocaml 4.02 with the new printf's GADTs 
implementation ?

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