ocaml-boot-riscv Required packages shakti-tee-tools the SHAKTI-TEE toolchain Quickstart $ mkdir build && cd build $ cmake .. $ make all install This will generate a libocaml-boot-riscv.a with a matching ocaml-boot-riscv.h in your systems include directories