Note that you probably should take a look on gilbraltar which is a full OCaml runtime for Rasperry Pi 4 (arm64). We already did several works on this ocaml toolchain, a “guirlande OS” or a music player OS via Jack.
2 Likes