Hello! In my quest to get Guix System on an Olimex A20-Olinuxino, I tried:
guix system disk-image -s armhf-linux --image-size=16G config.scm where ‘config.scm’ reads: (bootloader (bootloader-configuration (bootloader u-boot-a20-olinuxino-micro-bootloader) (target "/dev/mmcblk0"))) … this time with offloading to an actual ARM machine. I wrote the resulting image to an SD card, but the result appears to be unbootable. What am I doing wrong? Ludo’.