From mboxrd@z Thu Jan 1 00:00:00 1970 From: Isaac van Bakel Subject: Re: EFI GRUB configuration ignores platform, has issues Date: Sat, 22 Apr 2017 16:22:28 +0100 Message-ID: References: <5aff3524-a5b8-f70f-92d6-af6ff70ab2f6@vanbakel.io> <8760hwet4e.fsf@fastmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34827) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1d1wsE-00075Q-4f for help-guix@gnu.org; Sat, 22 Apr 2017 11:22:59 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d1wsA-0007Wc-QE for help-guix@gnu.org; Sat, 22 Apr 2017 11:22:58 -0400 Received: from mta-05-4.privateemail.com ([68.65.122.25]:35588) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1d1wsA-0007UA-JK for help-guix@gnu.org; Sat, 22 Apr 2017 11:22:54 -0400 In-Reply-To: <8760hwet4e.fsf@fastmail.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Marius Bakke , help-guix@gnu.org Hi Marius, On 04/22/2017 09:36 AM, Marius Bakke wrote: > Hello Isaac! > > Isaac van Bakel writes: > >> ... >> The issue seems to be in part that grub-install for EFI tries to use >> i386-pc for a platform, even when I pass --system=3Dx86_64-linux to gu= ix >> system init, and the USB is a x86_64 one. >> It tries to access a directory in /gnu/store >> //lib/grub/i386-pc which doesn't exist, and promptly fails. > Grub will try to guess the target platform automatically. Since the > installation image is not yet UEFI enabled[0], your system has booted i= n > BIOS mode, and grub tries to install the BIOS payload (which is called > i386-pc even on 64-bit platforms). Ah, that would explain my issues. It's interesting that it tries to use=20 the BIOS payload with the grub-efi package, though. >> If I copy over the x86_64 folder to i386-pc, the install gets past thi= s >> point, and I can go on to boot as (apparently) normal. > Do you mean copy the "/gnu/store//lib/grub/x86_64-efi" folder > to "/gnu/store//lib/grub/i386-pc"? The store is read-only for > good reasons and you should never do this under normal circumstances. Oh dear! Nothing a clean install won't fix, I hope. >> However, I'm not sure whether to trust the boot totally, and I'm worri= ed >> about it being unreproducable without manual effort. > I find it interesting that it worked at all. Does '/sys/firmware/efi' > exist on the booted system? If that is the case, further invocations of > `grub-install` (which is called when running `guix system reconfigure`) > should detect the EFI platform and install the appropriate payload. Sadly, it's missing. The /boot/EFI folder seems to be missing a lot of=20 essential content as well, so I guess I'm using a BIOS bootloader. > ... > The safest approach to a native UEFI GuixSD system currently is booting > another UEFI enabled Linux image, installing the Guix binary inside the > live environment, and do `guix system init` from there. It's pretty > involved, but we hope to have UEFI support in the official images Soon=E2= =84=A2. Good to know. I was meaning to install another libre distro alongside=20 GuixSD, just in case, but I might as well reorder the steps now to get=20 it working first. > Hope this helps, and sorry for the confusion! It helps a lot, thanks! Isaac > > [0] https://lists.gnu.org/archive/html/guix-devel/2017-04/msg00407.html