derpeter

This can be used as a starting point for developing your own image e.g. for running MirageOS on an Pi3

You will need an arm64 / aarch64 cross compiler. You can use e.g. the cross compiler shipped by Ubuntu or get the toolchain of your choice for your OS.

apt-get install gcc-aarch64-linux-gnu

Now we setup the SD card. We need to create two partitions like shown below

Device                                Boot Start     End Sectors  Size Id Type
2018-03-13-raspbian-stretch-lite.img1       8192   93802   85611 41,8M  c W95 FAT32 (LBA)

pqwy

#!/bin/sh

ocamlfind ocamlopt -linkpkg -package lwt,lwt.unix,lwt.syntax,nocrypto,nocrypto.unix -syntax camlp4o gpg.ml -o gpg