Hello Andreas,
> The appearance of "efi" and "grub" is suspicious.
>
> I do have this in my config:
> (bootloader (bootloader-configuration
> (bootloader u-boot-novena-bootloader)
> (target "/dev/mmcblk0")))
> So there is no trace of grub or efi in it. Does anyone know what is happening?
The default Guix System disk image is an x86 compatible disk-image with
an EFI partition so that it can be booted on UEFI compatible
systems. That's why you see occurrences of "grub" and "efi".
That does not really explain the error though, but that's another
issue. The pending patch here[1], will hopefully help users specify
their target image. It means that you should be able to write:
--8<---------------cut here---------------start------------->8---
guix system disk-image -t novena config.scm
--8<---------------cut here---------------end--------------->8---
or,
--8<---------------cut here---------------start------------->8---
guix system disk-image -t raw-image config.scm
--8<---------------cut here---------------end--------------->8---
Until then, running something like:
--8<---------------cut here---------------start------------->8---
(use-modules (gnu)
(gnu image)
(gnu system image)
(guix))
(define my-os
(primitive-load "/home/mathieu/guix/gnu/system/examples/bare-bones.tmpl"))
(define my-image
(image
(format 'disk-image)
(partitions (list root-partition))
(operating-system my-os)))
(run-with-store (open-connection)
(mlet* %store-monad
((drv (lower-object (system-image my-image "armhf-linux")))
(build (built-derivations (list drv))))
(return #t)))
--8<---------------cut here---------------end--------------->8---
should get you closer.
Thanks,
Mathieu
[1]: https://issues.guix.gnu.org/42634
