rpi-boot-ocaml est une bibliothèque statique minimale et un script d'édition de liens pour amorçer une Raspberry Pi directement dans le système OCaml. Pour le reste, c'est à vous.
Suivez les instructions du « README. »