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 <[email protected]> wrote: > 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/ipwgwqaarp304r82b97748shwzmwa9 > k0-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? >
