-
Rpi-boot-ocaml为OCaml系统提供Raspberry Pi引导支持（目前尚未发布）
资源介绍
rpi-boot-ocaml-OCaml系统的Raspberry Pi引导支持
发行%% VERSION %%
rpi-boot-ocaml是用于将Raspberry Pi直接引导到OCaml系统的最小静态库和链接程序脚本。 其余的是你的。
目前仅支持Raspberry ModelB。
rpi-boot-ocaml是在BSD3许可下分发的。
先决条件
我们首先需要一个用于ARMv7的OCaml交叉编译器。 将以下存储库添加到opam ：
opam repo add rpi-boot-ocaml http://erratique.ch/repos/rpi-boot-ocaml.git
opam update
安装OCaml编译器，其版本与交叉编译器（当前为4.02.3）相匹配。 在64位构建系统上，您需要32位OCaml编译器。
opam switch 4.02.3