Ocaml在ARM Cortex M4上可行吗？

Question

Ocaml在ARM Cortex M4上可行吗？

armocamlcross-compiling

6

我想知道是否可能在像STM32F407（1MB Flash，196kB RAM）这样的处理器上交叉编译使用Ocaml编写的应用程序？（没有操作系统）。

我已经阅读了Cross-compiling ocaml apps for ARM；实验似乎是在beaglebone上进行的；因此比STM32更强大，并且具有Linux作为操作系统。

还有OcaPIC（http://www.algo-prog.info/ocaml_for_pic/web/index.php?id=ocapic）-适用于PIC处理器。是否有类似于ARM Cortex M4的端口？

- Pierre G.

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Török Edwin · Accepted Answer

我不知道是否有相应的端口，但可以参考相关邮件列表主题 1,2。

要开始，您可以使用与构建C或Arduino代码相同的工具链来交叉编译OCaml字节码解释器（ocamlrun），然后运行32位OCaml字节码。棘手的部分将是将运行时移植到没有操作系统的环境中（分配内存等）。 Mirage等项目已经在Xen的miniOS上做到了这一点。也许您可以使用FreeRTOS、ChibiOS等来开始。

一旦运行成功，您可以查看使用ocamlopt的本地代码，它支持armv4到armv7，但我不知道ARMv7E-M是否是其中的超集。

或者，您可以编写一个嵌入在OCaml中的DSL，它会生成C代码，最终在MCU上运行，就像Haskell使用Ivory3和Atom4一样。