NixOS on ARM/PcDuino3 Nano
@dezgeg's porting efforts to ARMv7 should work.
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. Download U-Boot for the board (
uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin), and copy it to the correct location with (again, replace
/dev/sdX with the correct path to the SD card device):
sudo dd if=uboot-Linksprite_pcDuino3_Nano_defconfig-2015.07_u-boot-sunxi-with-spl.bin of=/dev/sdX bs=1024 seek=8
Then, install using the installation and configuration steps.
Notes about the boot process
USB keyboards and HDMI displays work perfectly. Also a 3.3v serial port via the 3-pin header works.