Hello Denis,
> I then built it with: >> cp `guix system disk-image --target=arm-linux-gnueabihf lime2.scm` \ >> guix.img > > However when booting the image, u-boot doesn't find > /boot/extlinux/extlinux.conf. > > However running the following command in u-boot makes the board boot: >> sysboot mmc 0:2 any $scriptaddr /boot/extlinux/extlinux.conf > > When we look at the resulting image with fdisk -l we have: >> Device Boot Start End Sectors Size Id Type >> guix.img1 2048 83967 81920 40M ef EFI (FAT-12/16/32) >> guix.img2 83968 3301783 3217816 1.5G 83 Linux The default image type creates an EFI partition which is not desirable here. You should try again running this instead: --8<---------------cut here---------------start------------->8--- guix system disk-image -t arm32-raw lime2.scm --8<---------------cut here---------------end--------------->8--- Thanks, Mathieu