From mboxrd@z Thu Jan 1 00:00:00 1970 From: Arne Babenhauserheide Subject: bug#40496: cannot install bootloader Date: Thu, 09 Apr 2020 00:18:49 +0200 Message-ID: <87pnchoc3a.fsf@web.de> References: <87sghf2gek.fsf@web.de> <87ftdfkp1h.fsf@devup.no> <87k12r2dyu.fsf@web.de> <87a73mly4f.fsf@devup.no> <87sghe8oc6.fsf@web.de> <87369el2vj.fsf@devup.no> <87lfn590pl.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:50436) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jMJ3E-0002kE-QD for bug-guix@gnu.org; Wed, 08 Apr 2020 18:20:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jMJ3C-00086Z-S0 for bug-guix@gnu.org; Wed, 08 Apr 2020 18:20:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:41444) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jMJ3C-00086V-P3 for bug-guix@gnu.org; Wed, 08 Apr 2020 18:20:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jMJ3C-00030N-Kp for bug-guix@gnu.org; Wed, 08 Apr 2020 18:20:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-reply-to: <87lfn590pl.fsf@web.de> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane-mx.org@gnu.org Sender: "bug-Guix" To: Marius Bakke Cc: 40496@debbugs.gnu.org Arne Babenhauserheide writes: >> I mean in the firmware boot menu. The way UEFI works is that >> bootloaders update the firmware directly with a name, EFI System >> Partition, and executable (most likely "/EFI/Guix/grubx64.efi"). > > Ah, I did not know that. Thank you! > >> This also requires booting in "EFI mode" so that /sys/firmware/efi is >> present. The live USB image supports EFI, but you may need to disable >> "legacy boot" to make it boot in EFI mode. > > I=E2=80=99ll try that. It worked. I=E2=80=99m still a bit unbelieving. I booted with CSM (compatib= ility mode) disabled, then ran guix system reconfigure /etc/config.scm and after the next reboot I could boot without the boot f=CC=B6l=CC=B6o=CC=B6p= =CC=B6p=CC=B6y=CC=B6 USB stick. Thank you very, very much! Now I=E2=80=99ll just have to figure out what I do with my new M2-spare :-) Best wishes, Arne -- Unpolitisch sein hei=C3=9Ft politisch sein ohne es zu merken