Rpi-boot-ocaml

rpi-boot-ocaml is a minimal static library and linker script for booting a Raspberry Pi directly into the OCaml system. The rest is yours.

Follow the instructions in the README.