It's C codegen using casadi under the hood. Most embedded systems can compile some form of C.