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.