Skip to content

Latest commit

 

History

History
38 lines (24 loc) · 820 Bytes

README.md

File metadata and controls

38 lines (24 loc) · 820 Bytes
Raw

rpi

Work in progress.

This repository is based on https://github.com/dbuenzli/rpi-boot-ocaml and an attempt to reuse some components for MirageOS 4.0 and the Raspberry Pi 4.

Build for Bare Metal

opam pin gilbraltar-toolchain https://github.com/dinosaure/gilbraltar.git
opam pin gilbraltar https://github.com/dinosaure/gilbraltar.git
dune build --workspace dune-workspace.bare

Build on a Raspberry Pi

dune build

Cross-Compilation

We need a cross-compiler configured for the Raspberry Pi OS (corresponding GLIBC):

https://github.com/abhiTronix/raspberry-pi-cross-compilers#e-toolchain-setup-documentation

After that, an aarch64-linux-gnu toolchain should be available.

TODO: instructions for gilbraltar-unix.

Then, use

dune build --workspace dune-workspace.cross