GNU bug report logs - #26815
[PATCH 0/3] Hybrid UEFI disk image

Previous Next

Full log

Message #52 received at 26815 <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <mbakke <at> fastmail.com>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 26815 <at> debbugs.gnu.org
Subject: Re: bug#26815: [PATCH 3/3] vm: Support EFI boot in base image.
Date: Mon, 08 May 2017 11:06:28 +0200

[Message part 1 (text/plain, inline)]

Marius Bakke <mbakke <at> fastmail.com> writes:

> Danny Milosavljevic <dannym <at> scratchpost.org> writes:
>
>> Hi Marius,
>>
>>> +      (system* "grub-mkstandalone" "-O" "x86_64-efi" "-o"
>>> +               (string-append efi-directory "/EFI/BOOT/BOOTX64.EFI")
>>> +               ;; Embed the contents of grubdisk.cfg.
>>> +               (string-append "boot/grub/grub.cfg=" target
>>> +                              "/tmp/grubdisk.cfg"))
>>
>> Check return value of system* ?
>
> I rewrote most of this to be (hopefully) more understandable. Also, some
> rudimentary steps towards other platforms, native testing required.
>
> V2 attached.

...and here is V3, now with compliant file names for all supported
arches from the UEFI specification. Will test i386 later today.

[0001-vm-Support-EFI-boot-in-base-image.patch (text/x-patch, attachment)]

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.