Hi Ian,
Ian Eure <[email protected]> writes: > Hi folks, > > I want to run Guix on a Raspberry Pi 4, but I’m unable to build an > image for it. I built a declarative system-image around the > example operating-system in > gnu/system/examples/raspberry-pi-64.tmpl -- you can see my > definition in this paste: https://paste.debian.net/hidden/22d01add > (gi/partition > (size (gigabytes 1)) > (file-system "vfat") > (label "EFI") > (flags '(boot esp))) Currently the main issue is your partition definition combined with Guix's poor root file system detection capabilities. Guix uses the boot flag for finding the root file system and it uses a plain find, so the first element with that flag is matched. See the esp-partition/grub definition in Guix, you can see it uses only esp flag. So as long as you do that, you should be fine. Use the boot flag only on the second, root partition (and esp shouldn't be on that one). Moreover you also seem to be missing the initializer for the ESP, but since I do not know what the gi/partition does, I cannot say that for sure. Again see the esp-partition/grub definition for this. The particular partition definition should even be usable for you as is. Guix system images are not capable of initializing an EFI partition by themselves, the partition needs to provide its initializer. Rutherther
