As an intern at the OCamlLab, my project is to port MirageOS on the esp32 board.

This will be done by two main projects:

  • Set up a cross-compilation toolchain from Mirage libraries to esp32 target. It will be mainly for bytecode generation along with C stubs built with the xtensa gcc toolchain.

  • Add a new target to the OCaml compiler to have native code generation for xtensa processors.