GNU bug report logs - #26714
non-intel systems should use grub-efi

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Marius Bakke <mbakke <at> fastmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#26714: closed (non-intel systems should use grub-efi)
Date: Tue, 07 Apr 2020 14:56:02 +0000

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

Your message dated Tue, 07 Apr 2020 16:54:59 +0200
with message-id <87wo6rmjlo.fsf <at> devup.no>
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
help-debbugs <at> gnu.org.)


-- 
26714: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26714
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Efraim Flashner <efraim <at> flashner.co.il>
To: bug-guix <at> gnu.org
Subject: non-intel systems should use grub-efi
Date: Sun, 30 Apr 2017 10:14:07 +0300

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

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   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

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

[Message part 5 (message/rfc822, inline)]

From: Marius Bakke <mbakke <at> fastmail.com>
To: Efraim Flashner <efraim <at> flashner.co.il>, 26714-done <at> debbugs.gnu.org
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.

Previous Next

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