Marius Bakke <mbakke@fastmail.com> writes:

> Danny Milosavljevic <dannym@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.