I would like to develop in ocaml for ARM based embedded systems running custom Linux (build with yocto).

My main questions are how to achieve this:

- cross compilation (ARM/x86)

- stack size control/analysis (valgrind massif tools for ocaml?)

Do you have some pointers? experience?