NixOS on ARM/Banana Pi
Building U-Boot
$ git clone git://git.denx.de/u-boot.git
$ cd u-boot
$ nix-shell -p ubootTools gcc-arm-embedded dtc flex bison python swig
$ make -j4 ARCH=arm CROSS_COMPILE=arm-none-eabi- Bananapi_defconfig
$ make -j4 ARCH=arm CROSS_COMPILE=arm-none-eabi-
Board-specific installation notes
First follow the generic installation steps to get the installer image.
U-Boot needs to be copied to specific sectors on the microSD card with dd
:
sudo dd if=u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8
Then, install using the installation and configuration steps.