NixOS on ARM/Kosagi Novena
We now have https://github.com/novena-next/nixos-novena repository that can be used to build Novena specific kernel and few other tools like novena-eeprom and novena-usb-hub.
Also check out https://github.com/novena-next/docs for general purpose documentation. This guide might move there at some point.
Using generic image
use generic armv7l image (sd-image-armv7l-linux.img)
U-boot
Build u-boot according to
NixOS_on_ARM#Building_u-boot_from_your_NixOS_PC
make novena_defconfig
dd if=SPL of=/dev/sdc seek=1 bs=1k
Store u-boot.bin on /boot (mounted sd-image).
Proceed with standard installation steps and NixOS_on_ARM#Building_U-Boot_from_your_NixOS_PC
You can use your own layout when installing on the hard drive (SD-card is still needed to boot from SATA), extlinux insted of grub is important.
Configuring SATA boot
To enable booting from SATA by default enable sataroot feature with novena-eeprom and then break to u-boot shell and run following commands to set different boot order:
TODO: disk ID
printenv setenv boot_targets sata0 saveenv reset