From mboxrd@z Thu Jan  1 00:00:00 1970
From: rendaw <7e9wc56emjakcm@s.rendaw.me>
Subject: bug#35380: disk-image fails to install efi grub
Date: Thu, 25 Apr 2019 19:27:14 +0900
Message-ID: <323096f6-9382-c3fd-1dc5-486c4737b12f@s.rendaw.me>
References: <0935773a-1e21-9576-d569-f97e79ed13dd@s.rendaw.me>
	<87a7gesccy.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:50651)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1hJbbn-0006IJ-LS
	for bug-guix@gnu.org; Thu, 25 Apr 2019 06:28:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1hJbbm-0008T1-K0
	for bug-guix@gnu.org; Thu, 25 Apr 2019 06:28:03 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:44026)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1hJbbm-0008Sn-GT
	for bug-guix@gnu.org; Thu, 25 Apr 2019 06:28:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1hJbbm-00055x-Br
	for bug-guix@gnu.org; Thu, 25 Apr 2019 06:28:02 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.35380.D35380.155618804619536@debbugs.gnu.org>
In-Reply-To: <87a7gesccy.fsf@gnu.org>
Content-Language: en-US
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 35380-done@debbugs.gnu.org

On 4/25/19 5:44 PM, Ludovic Courtès wrote:
> 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’m closing this bug, but you can open a wishlist item about it if you
> want!
>
> Thanks,
> Ludo’.

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!  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. 

3. The build still completes with a successful exit code.  The only way
to find out the image doesn't have a bootloader (-> is unusable) is to
try to boot it