Re: Trouble with UEFI installation

[Joshua Branson]

Hey Andrew!

Don't be discouraged!  I have the same issue.  Definitely disable booting legacy boot.  That will really help you get started.  I haven't actually successfully installed guix via UEFI yet, but hopefully I will soon.

My problem is that I am dual booting guixSD and Arch.  Arch is installed via UEFI.  I am having a hard time booting the usb drive from grub.  But I just need to spend a bit more time looking googling.  Anyway, good luck!

On Sat, Jul 22, 2017 at 10:43 AM, Marius Bakke <address@hidden> wrote:

Hello Andrew!

address@hidden 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?