Hi,

finally, https://hydra.gnu.org/build/3044681 (flash-image armhf) built.

Can we put it on the website at https://www.gnu.org/software/guix/download/
inside the GuixSD part?

I think it would be nice to have something ready-to-go for ARM systems as well,
and this would be a good start.  Apart from the bootloader, everything should
work as-is in there.  And the user can either keep the original bootloader
on the board or flash a new one after booting GuixSD - either in qemu or
on a real machine.