> You can boot to them, That is the only part I wanted to draw attention to: ARM boot is a peculiar beast and very surprising when you don't know about it, esp

> You can boot to them, That is the only part I wanted to draw attention to: ARM boot is a peculiar beast and very surprising when you don't know about it, especially when you're used to PC (BIOS or UEFI) booting. > but when you run nixos-install, If one intents to run from the SD card that was just booted then the process should be changing configuration.nix to one's liking and nixos-rebuild switch to that (which is a testament to the power of nix: one can pivot to an entirely new "install" on the spot). Or maybe you attempted to do an install on another block device, e.g to boot straight from USB? > they fail with a message about hardware.raspberry-pi."4".fkms-3d.enable. Does that error also appear with nixos-rebuild switch? If so, then pi4 support is borked in nixos. Otherwise, assuming the install to USB process, maybe nixos-generate-config was run and produced a non-functional hardware-configuration.nix? (which would be a bug too) (it's been a while since I tried nixos on Pis, last time it did work OOTB for me on 3 and 4, save for a kernel / device tree bug for 3 that kills the virtual console) > outdated I agree, all the spread out bits are confusing. The ARM boot situation is common an issue enough that I would expect that to be part of the manual. > Author here. Thanks for the article, I enjoyed it!