From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joshua Branson Subject: Re: Trouble with UEFI installation Date: Sat, 22 Jul 2017 15:32:19 -0400 Message-ID: References: <87tw24hdu2.fsf@localhost.i-did-not-set--mail-host-address--so-tickle-me> <87shho4jn7.fsf@fastmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a113c6f5449967c0554ed0a30" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60639) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dZ08V-0000ZR-OJ for guix-devel@gnu.org; Sat, 22 Jul 2017 15:32:24 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dZ08U-0000IB-Jw for guix-devel@gnu.org; Sat, 22 Jul 2017 15:32:23 -0400 Received: from mail-qt0-x231.google.com ([2607:f8b0:400d:c0d::231]:33122) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dZ08U-0000Hj-E0 for guix-devel@gnu.org; Sat, 22 Jul 2017 15:32:22 -0400 Received: by mail-qt0-x231.google.com with SMTP id n42so54658062qtn.0 for ; Sat, 22 Jul 2017 12:32:20 -0700 (PDT) In-Reply-To: <87shho4jn7.fsf@fastmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Marius Bakke Cc: guix-devel@gnu.org, andrew.erlanger@gmail.com --001a113c6f5449967c0554ed0a30 Content-Type: text/plain; charset="UTF-8" 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 wrote: > Hello Andrew! > > andrew.erlanger@gmail.com 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? > --001a113c6f5449967c0554ed0a30 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hey Andrew!

Don't be discourage= d!=C2=A0 I have the same issue.=C2=A0 Definitely disable booting legacy boo= t.=C2=A0 That will really help you get started.=C2=A0 I haven't actuall= y successfully installed guix via UEFI yet, but hopefully I will soon.
<= br>
My problem is that I am dual booting guixSD and Arch.=C2=A0 Arch i= s installed via UEFI.=C2=A0 I am having a hard time booting the usb drive f= rom grub.=C2=A0 But I just need to spend a bit more time looking googling.= =C2=A0 Anyway, good luck!

On Sat, Jul 22, 2017 at 10:43 AM, Marius Bakke <mbakk= e@fastmail.com> wrote:
Hell= o Andrew!

andrew.erlanger@gmail.com = 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 mach= ine.
>
> The problem occurs in the installation. This is my error:
>
>> copying '/gnu/store/1ajp6plak42nr93kyprmc3c4gf6fjvxq= -grub.cfg'...
>> populating '/mnt'...
>> grub-install: error: /gnu/store/ipwgwqaarp304r82b97748shwzmwa= 9k0-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?

--001a113c6f5449967c0554ed0a30--