Subject: Re: bug#48314: [PATCH] Install guix system on Raspberry Pi

From: Maxim Cournoyer <[email-masked]>
Date: Thu, 01 Dec 2022 10:32:37 -0500

Hi again,

Stefan <[email-masked]> writes:

[...]

> +(define (grub-configuration-file config . args)
> +  (let* ((bootloader (bootloader-configuration-bootloader config))
> +         (grub (bootloader-package bootloader)))
> +    (apply make-grub-configuration grub config args)))
> +
> +(define (grub-efi-configuration-file . args)
> +  (apply make-grub-configuration grub-efi args))

Another question regarding that same piece of code: why isn't
grub-efi-configuration-file used in the definition of the
grub-efi-bootloader definition?  It's still using
grub-configuration-file.

-- 
Thanks,
Maxim