@alecui i'm out of my depth when it comes to microcontrollers, but I've seen folks use Rust for this, and I'd expect that to use LLVM under the hood.
And then your project will be a mix of regular OCaml and then systems OCaml
ref: https://twitter.com/LambdaFairy/status/1634510754257985536