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: Wed, 01 May 2019 22:19:58 +0200 Message-ID: <87d0l2exld.fsf@gnu.org> References: <0935773a-1e21-9576-d569-f97e79ed13dd@s.rendaw.me> <87a7gesccy.fsf@gnu.org> <323096f6-9382-c3fd-1dc5-486c4737b12f@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]:50852) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLviy-0002WY-0r for bug-guix@gnu.org; Wed, 01 May 2019 16:21:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLviw-0007LP-SD for bug-guix@gnu.org; Wed, 01 May 2019 16:21:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59710) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hLviw-0007L8-OB for bug-guix@gnu.org; Wed, 01 May 2019 16:21:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hLviw-0006U3-Iq for bug-guix@gnu.org; Wed, 01 May 2019 16:21:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <323096f6-9382-c3fd-1dc5-486c4737b12f@s.rendaw.me> (rendaw's message of "Thu, 25 Apr 2019 19:27:14 +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: > On 4/25/19 5:44 PM, Ludovic Court=C3=A8s wrote: [...] >> 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. > > I'm not going to comment on the wishlist thing, but this seems like a > fairly huge problem: > > 1. The documentation doesn't mention this anywhere!=C2=A0 Not in the > bootloader docs, not in the disk-image docs, not in the "limitations", > not in "hardware considerations" > > 2. I've spent several _days_ now digging through Guix source code and > never found that message.=C2=A0 I=E2=80=99m sorry to hear that. I guess that the reason the documentation doesn=E2=80=99t mention it is that users didn=E2=80=99t find it all that im= portant. My guess is that to many of us, using a VM is a way to test an OS, and it doesn=E2=80=99t matter in that context whether the emulated machine uses= a PC BIOS or UEFI. I understand that it does matter in some cases, so I agree we should support it. I don=E2=80=99t know exactly what it would take, but if you ha= ve ideas, they=E2=80=99d be welcome. > 3. The build still completes with a successful exit code.=C2=A0 The only = way > to find out the image doesn't have a bootloader (-> is unusable) is to > try to boot it Yes, that=E2=80=99s an unfortunate bug reported here: . Thanks, Ludo=E2=80=99.