arm - 适用于 ARM 皮质 M4 的 Ocaml？

Question

我想知道是否可以在 STM32F407(1MB 闪存，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 有类似的端口吗？

Answer 1

我不知道端口，但请参阅相关的邮件列表线程 1 , 2 .

首先，您可以使用与构建 C 或 Arduino 代码相同的工具链来交叉编译 OCaml 字节码解释器 (ocamlrun)，然后运行 ​​32 位 OCaml 字节码。棘手的部分是将运行时移植到没有操作系统的情况下工作(分配内存等)。像 Mirage 这样的项目已经为 Xen 做到了这一点，部分基于 Xen 的 miniOS。也许您可以使用 FreeRTOS、ChibiOS 等来开始。

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

或者您可以编写一个嵌入 OCaml 的 DSL，生成 C 代码，最终在您的 MCU 上运行，就像 Haskell 对 Ivory 所做的那样 3和原子4 .