I have not tried building these images in a while. I’ll give it a shot again soon. 23.05 stable is what I currently target. will update this thread if I get things to work. Tho: I’m not using HDMI output at all. I’ve been solely remote accessing these nodes. No idea if the HDMI output ever worked!
My configuration uses a fork of nixpkgs with a few changes:
Which I was able to build and flash according to:
I did forget to decompress the image a few times. Otherwise went smoothly and the flashed system is working fine.
The boot.loader.raspberryPi is now deprecated via https://github.com/NixOS/nixpkgs/pull/241534 so you should simply use uboot + boot.loader.generic-extlinux-compatible.
@coreyoconnor that looks pretty good and upstreamable!