Hello Andrew!

[email protected] writes:

> Hello again, Guix users.
>
> I'm still trying to install GuixSD, and my problem is with UEFI. I've
> got Gentoo working with UEFI, so I know it's possible on this machine.
>
> The problem occurs in the installation. This is my error:
>
>> copying '/gnu/store/1ajp6plak42nr93kyprmc3c4gf6fjvxq-grub.cfg'...
>> populating '/mnt'...
>> grub-install: error: 
>> /gnu/store/ipwgwqaarp304r82b97748shwzmwa9k0-grub-efi-2.02/lib/grub/i386-pc/modinfo.sh
>>  doesn't exist. Please specify --target or --directory.
>> guix system: error: failed to install GRUB on device '/dev/sda'

This means the USB installer has booted in BIOS mode. GRUB will
automatically detect the target platform. You can check if it has booted
in UEFI mode by testing whether '/sys/firmware/efi' exists.

Can you try disabling legacy boot in your firmware when booting the
GuixSD installation image?

Attachment: signature.asc
Description: PGP signature

Reply via email to