I explain what i have done until now, i picked up the vanilla configuration.nix and installed uefi on graphical iso, installed uefi on minimal iso with 512MB /boot/efi fat32 (Grub and systemd-boot) and one single partition / in mbr (grub and standalone).
Choose one which has been processed successfully. I expect it to work on the newest boards. Flash it to an SD and boot the SBC. The u-boot starts this one up based on extlinux configuration file in the fat32 partition.
Nix’s ARM64 images should work on all of our boards.
For boards like Le Potato and Tritium and Renegade without SPI firmware, just use libretech-flash-tool to flash the bootloader onto the image (or use dd with the bootloader file from boot.libre.computer/ci. It should work as long as it’s not GPT partitioning. If it is GPT partitioning, we recommend splitting the bootloader device and the GPT disk or converting it to MBR and updating any associated mounting targets like fstab and grub.cfg.
For AML-S905X-CC, it requires eMMC or SD card to boot. The bootloader must be flashed to either of these and not USB since there’s no onboard bootloader.
I’d be interested in some insight into this as well. In my experience this doesn’t seem to be sufficient for the roc-rk3328-cc. Using dd to flash the image and then using the flashing tool afterwards still causes the board to never boot (red LED, nothing else, no HDMI output or network activity, can’t figure out how else to troubleshoot). I’ve been spending days trying to figure out how to put NixOS on this thing.
I had it working ONCE and then a power outage caused the board to shut down, and it never came back. The board is fine, I got Debian running on it, but for whatever reason NixOS just won’t boot.