From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: Re: grub not properly installing in GuixSD Date: Mon, 17 Jul 2017 23:47:14 +0200 Message-ID: <87tw2a68il.fsf@fastmail.com> References: Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47233) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dXDrN-0000V3-Rh for help-guix@gnu.org; Mon, 17 Jul 2017 17:47:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dXDrJ-0002CM-9t for help-guix@gnu.org; Mon, 17 Jul 2017 17:47:21 -0400 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:51447) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dXDrI-0002Bx-Um for help-guix@gnu.org; Mon, 17 Jul 2017 17:47:17 -0400 In-Reply-To: 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: Joshua Branson , "help-guix@gnu.org" --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Joshua Branson writes: > Hello, > > I=E2=80=99m currently trying to dual boot Arch Linux and GuixSD on a desk= top machine that I built. GuixSD seems to be installing well, but grub in = not properly installing. I=E2=80=99m trying to boot using grub-efi. > > > After I run guix system init /mnt/etc/bare-bones.scm /mnt > > > I get this error: > > > grub-install: error: /gnu/store/ipwgwqaarp304r82=E2=80=A6=E2=80=A6.-grub-= efi-2.02/lib/grub/i386-pc/modinfo.sh doesn=E2=80=99t exist. Please specify= =E2=80=94target or =E2=80=94directory. > > guix system: error: failed to install GRUB on device /dev/sda1 > > > I believe that for some reason guixSD is install guix in a BIOS way. At = least that=E2=80=99s what this ask ubuntu forum says: https://askubuntu.c= om/questions/763472/what-can-i-do-to-fix-this-error-on-grub-efi/763746 Ap= parently grub should be trying to install via X86_64=E2=80=A6. Indeed. The error above indicates GRUB could not detect a UEFI system and falls back to BIOS (i386-pc), but can't find the required files. > Now here=E2=80=99s detail about my set up. > > > parted p > /dev/sda1 500MB or so vfat partition. > /dev/sda2 20 GB Arch root > /dev/sda3 1GB swap > /dev/sda4 /home for both Arch and GuixSD > /dev/sda5 / for GuixSD. > > The partition table is using GPT. Looks good. > Arch linux is already installed. It boots using UEFI, but Arch mounts /d= ev/sda1 to /boot. > > I booted guixSD via a usb-stick. I believe that I booted in BIOS mode. = I was unable to get the usbstick to boot via UEFI. How old is your system, and in particular the mainboard? Do you know the brand/model? I wonder if this is one of those famous systems with 32-bit firmware and 64-bit CPU. Is the GuixSD install image detected if you disable legacy BIOS support altogether in your firmware? If not, can you test if the i686 installation image works? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlltMGIACgkQoqBt8qM6 VPqC+wf+JRDQ/Ru7Wo70Eyyyp2/0/pENnwnvvEK3lRkodNyvdn16s+2MtGuAg5Bb DCW4EdBUbDdIoTwiHbfHf2OJESdMfSZHc6xLsndlwUIjwQZhxc5WbdNduAFyhLCW sY3/deADKRFKerEbmZ5SDPMXEYiQ3DZfuSK0D71ExPlYjyxpzEXJ9mVgDfN2yUt+ vUGqL+753HZGHFhXA4Yz0xLqXwoRAZXJOmWAbE7VGWfX+1njFvT8TBMp/NL/fLYI oQglnlznHFdat72fvV8bVP6oxJT0P5XLQ0GABNvrsKoTmB+rLVg7k6E591+3jBIk pETKbwV7w6/OJ/TShFxCU1IjaGhucQ== =A0Ma -----END PGP SIGNATURE----- --=-=-=--