wip-pinebook-pro/README.md

WIP stuff to get started on the pinebook pro.

u-boot

Assuming /dev/mmcblk0 is an SD card.

$ nix-build -A pkgs.u-boot-pinebookpro
$ lsblk /dev/mmcblk0 && sudo dd if=result/idbloader.img of=/dev/mmcblk0 bs=512 seek=64 oflag=direct,sync && sudo dd if=result/u-boot.itb of=/dev/mmcblk0 bs=512 seek=16384 oflag=direct,sync

The eMMC has to be zeroed (in the relevant sectors) or else the RK3399 will use the eMMC as a boot device first.

Alternatively, this u-boot can be installed to the eMMC.

Installing to SPI has yet to be investigated.

Image build

$ ./build.sh
$ dd if=result/sd-image/nixos-sd-image-19.09.1778.db3e8325a9b-aarch64-linux.img of=/dev/mmcblk0 bs=8M oflag=direct

The build.sh script transmits parameters to nix-build, so e.g. -j0 can be used.