Comment by lmm

Many embedded systems support Java or higher-level languages. OCaml might be an option; Ada or Rust certainly would be.