Hi bug-guix,

I tried running:

guix system image --system=armhf-linux -e '((@ (gnu system install) os-with-u-boot) (@ (gnu system install) installation-os) "aoeuthant")'

And got two unexpected behaviors.

First of all, I get the error:

|builder for 
`/gnu/store/05njkp7140yzkik9c3r3imfj0jdj68k1-dhcp-4.4.2-P1.tar.xz.drv' 
failed with exit code 1
build of 
/gnu/store/05njkp7140yzkik9c3r3imfj0jdj68k1-dhcp-4.4.2-P1.tar.xz.drv failed
View build log at 
'/var/log/guix/drvs/05/njkp7140yzkik9c3r3imfj0jdj68k1-dhcp-4.4.2-P1.tar.xz.drv.bz2'.
cannot build derivation 
`/gnu/store/4nswzq8wdnj77z16v3gmjb2b31pphh7f-isc-dhcp-4.4.2-P1.drv': 1 
dependencies couldn't be built
guix system: error: build of 
`/gnu/store/4nswzq8wdnj77z16v3gmjb2b31pphh7f-isc-dhcp-4.4.2-P1.drv' failed

(log attached here)

According to 
https://guix.gnu.org/manual/en/html_node/Building-the-Installation-Image.html, 
specifying an invalid board (notice "aoeuthant" at the end of the 
command I tried) should print a list of possible boards.  A list of 
possible boards was NOT printed, though it is possible this was caused 
by the first error, though I would expect a list of boards before it 
tries to make the image.

-Zacchaeus