From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#35380: disk-image fails to install efi grub Date: Thu, 25 Apr 2019 10:44:29 +0200 Message-ID: <87a7gesccy.fsf@gnu.org> References: <0935773a-1e21-9576-d569-f97e79ed13dd@s.rendaw.me> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:60624) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hJaHj-0008K5-QW for bug-guix@gnu.org; Thu, 25 Apr 2019 05:03:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hJa08-0004IH-FQ for bug-guix@gnu.org; Thu, 25 Apr 2019 04:45:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:43853) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hJa07-0004I4-Rm for bug-guix@gnu.org; Thu, 25 Apr 2019 04:45:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hJa07-0002aa-Pm for bug-guix@gnu.org; Thu, 25 Apr 2019 04:45:03 -0400 Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Message-ID: In-Reply-To: <0935773a-1e21-9576-d569-f97e79ed13dd@s.rendaw.me> (rendaw's message of "Tue, 23 Apr 2019 01:06:15 +0900") 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.org@gnu.org Sender: "bug-Guix" To: rendaw <7e9wc56emjakcm@s.rendaw.me> Cc: 35380-done@debbugs.gnu.org Hi rendaw, rendaw <7e9wc56emjakcm@s.rendaw.me> skribis: > Bug 2: So is it appears disk-image won't build with an EFI bootloader. > I'm guessing that qemu is run with a bios boot image here, which is why > grub's using i386-pc. Exactly: currently QEMU is run with a plain old BIOS, and not with the UEFI firmware, so what you want is not implemented yet (see the comment in gnu/system/vm.scm:799). I=E2=80=99m closing this bug, but you can open a wishlist item about it if = you want! Thanks, Ludo=E2=80=99.