Building a bootable disk image for A20-OLinuXino

[Ludovic Courtès]

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’.