Re: [MLton] MLton on the bare metal or RTOS

On Sat, Oct 4, 2014 at 6:53 AM, David Ireland <[email protected]> wrote:
> GnuMP is a problem, because autoconf isn't friendly to non-posix targets and
> neither, for than matter is GnuMP, which uses malloc. It might be easier to
> figure out how to remove the dependency.

With regards to GnuMP: MLton is careful to always allocate memory for
GnuMP integers from the MLton managed heap.  GMP should never need to
use its own allocation routines.

> It would be nice to see some source code from last years summer of code
> project targeting an RTOS. Where can I find it? It must have found some
> solution to this.

As far as I know, the GSoC project mainly developed some build tools
for setting up a cross-compilation environment for RTEMS; see
https://github.com/nateburgers/antigen.

------------------------------------------------------------------------------
Slashdot TV.  Videos for Nerds.  Stuff that Matters.
http://pubads.g.doubleclick.net/gampad/clk?id=160591471&iu=/4140/ostg.clktrk