bug#26714: closed (non-intel systems should use grub-efi)

[GNU bug Tracking System]

Your message dated Tue, 07 Apr 2020 16:54:59 +0200
with message-id <address@hidden>
and subject line Re: bug#26714: non-intel systems should use grub-efi
has caused the debbugs.gnu.org bug report #26714,
regarding non-intel systems should use grub-efi
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
26714: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26714
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: non-intel systems should use grub-efi Date: Sun, 30 Apr 2017 10:14:07 +0300 User-agent: Mutt/1.8.2 (2017-04-18)

I'm starting to stumble my way through building an install image for
aarch64, and I changed gnu/system/install.scm to use 'grub-efi' in place
of 'grub' in the list of packages (~line 333). Grub-efi builds
successfully on armhf and aarch64 and grub does not, and as part of
compiling install.scm grub is built as part of assembling the image.

guix size grub:     157.5 MiB
guix size grub-efi: 160.5 MiB

I don't know a lot of how the install image is put together, or if using
grub-efi in place of grub for building the image would be a problem for
non-efi machines, but for non-intel machines at least we should use
grub-efi for the grub calls.


-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#26714: non-intel systems should use grub-efi
>
>
>
>
> Date: 
>
> Tue, 07 Apr 2020 16:54:59 +0200
>
>
>
>
> GRUB builds successfully on armhf and aarch64 nowadays, so I'm closing
> this bug.
>
>
> --- End Message ---