From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Auto-install EFI / BIOS bootloader Date: Tue, 22 Jan 2019 16:50:43 +0100 Message-ID: <87womwsncc.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:52862) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gm1BW-0001yp-Cp for guix-devel@gnu.org; Tue, 22 Jan 2019 13:54:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gm1BQ-0000zF-8e for guix-devel@gnu.org; Tue, 22 Jan 2019 13:54:01 -0500 Received: from mslow2.mail.gandi.net ([217.70.178.242]:60424) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gm1BO-0000vN-4S for guix-devel@gnu.org; Tue, 22 Jan 2019 13:53:58 -0500 Received: from relay11.mail.gandi.net (unknown [217.70.178.231]) by mslow2.mail.gandi.net (Postfix) with ESMTP id A93613AA7EE for ; Tue, 22 Jan 2019 16:51:04 +0100 (CET) Received: from mimimi (lfbn-1-802-102.w86-246.abo.wanadoo.fr [86.246.38.102]) (Authenticated sender: mail@ambrevar.xyz) by relay11.mail.gandi.net (Postfix) with ESMTPSA id 442CB100016 for ; Tue, 22 Jan 2019 15:50:43 +0000 (UTC) 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: Guix-devel --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable The manual suggests the following: =2D-8<---------------cut here---------------start------------->8--- Note: Unsure whether to use EFI- or BIOS-based GRUB? If the directory =E2=80=98/sys/firmware/efi=E2=80=99 exists in the installati= on image, then you should probably perform an EFI installation, using =E2=80=98grub-efi-bootloader=E2=80=99. Otherwise you should use the B= IOS-based GRUB, known as =E2=80=98grub-bootloader=E2=80=99. *Note Bootloader Configuration::, for more info on bootloaders. =2D-8<---------------cut here---------------end--------------->8--- From=20there, why wouldn't Guix do that automatically for use? For instance, would could have the following: =2D-8<---------------cut here---------------start------------->8--- (bootloader (bootloader-configuration (bootloader grub-auto-bootloader) (target "/dev/sdX)) =2D-8<---------------cut here---------------end--------------->8--- The "target" can be used as follows: =2D If in BIOS mode, use /dev/sdX directly. =2D If in EFI mode, pick the partition with the ESP flag and look up the mount-point in the (file-systems ...). What do you think? Side question: I just tried installing GuixSD on a brandnew workstation and the motherboard (Asus PRIME B450M-K) displays "UEFI" when I press F2 on start. Now when I boot the Guix image, /sys/firmware/efi does not exist, and indeed the Grub EFI installation fails (the BIOS one works). I tried with another distribution, same thing. The error is something like: =2D-8<---------------cut here---------------start------------->8--- /gnu/store/...-grub-.../.../modinfo.sh doesn't exist, please specify =2D-target or --directory. =2D-8<---------------cut here---------------end--------------->8--- Is it possible that Linux fails to detect the UEFI? =2D- Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAlxHO9MACgkQm9z0l6S7 zH8ttgf+LWpanzwb5vyB5lgFJnFH6sn/FYBZlx1u87tZViDJj7AGhccIdma8ZaiT eKxPlDX9FIdc6sMc8Uwl65O06XsX+LJUyH+ivd+gDIOzRteOd1J5XvlYeh3ZZjnN DuXElFY8Z0jw+FIBsDNaRO96LBTTL7s/Q3YbzflpEhqrLyRsxnYtupkcIls8nIQV HrnSIv3k4j/DyzaXPpMLHCeppRw9ZBvVhVhFv1VxsrDSOfCBunEfGiYSjC2XC+do 86/frD++L35Q2UrJHWG3T6EcIl8kHXZ3mTcmzK0FLX3WA/vbkqzvmpU0qGa8yBmt U3TCoWKpPpuvwV2hblM0ZAYqfw3Tkw== =UCEl -----END PGP SIGNATURE----- --=-=-=--