Skip to content

Instantly share code, notes, and snippets.

View Raspberry Pi3 arm64 with kvm
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 /
Last active Sep 24, 2015
GPG me.
ocamlfind ocamlopt -linkpkg -package lwt,lwt.unix,lwt.syntax,nocrypto,nocrypto.unix -syntax camlp4o -o gpg