Flake to create a simple SD image for RPI4 (cross)

[ElvishJerricco]

@pdevil

I would have expected something much more general to the whole aarch64 platform.

That’s not really possible. ARM doesn’t have any kind of standard boot mechanism across boards, except for EBBR which is (mostly) only adopted on servers. See: Planning for a better NixOS on ARM (and other non-x86_64 systems)

@pdevil

The second link, I haven’t found before, but it does add a lot of unnecessary stuff. Is there a way to remove that include from my flake?

You can probably add it to the disabledModules list (note, that section is titled “replace modules”, but you don’t actually have to provide a replacement).