Re: [MirageOS-devel] Mirage/ARM plans

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 14 May 2014, at 15:26, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

>> 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 ?
> 

We need the low level converters (eg for float printing) at least.  But either 
way, we need to maintain compatibility with 4.01 for a while until distros 
catch up, so a C printf is useful anyway.

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