[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Mirage/ARM plans

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.

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.