Re: [solo5] nolibc

[Thomas Gazagnaire]

Hi Emery,

> Is there a recommended (no)libc to use with Solo5?
> 
> I of course need memcpy and friends, probably some math stuff (OpenLibm?),
> and maybe setjmp.


MirageOS uses this one: https://github.com/mirage/ocaml-freestanding

Best,
Thomas