GNU bug report logs - #29409
GuixSD ARM port.

Previous Next

Package: guix-patches;

Reported by: Mathieu Othacehe <m.othacehe <at> gmail.com>

Date: Thu, 23 Nov 2017 09:46:01 UTC

Severity: normal

Done: Danny Milosavljevic <dannym <at> scratchpost.org>

Bug is archived. No further changes may be made.

Full log

Message #102 received at 29409 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: m.othacehe <at> gmail.com
Cc: 29409 <at> debbugs.gnu.org
Subject: Re: [bug#29409] [PATCH] system: vm: Do not add EFI partition on ARM
 system.
Date: Fri, 1 Dec 2017 21:14:16 +0100

> +                    ;; bootloaders if we are not targetting ARM.

"targeting" (one "t").

LGTM otherwise.

Be advised that there are ARM processors that do use EFI (some ARMv8 and aarch64 boards).  I'm not opposed to this patch but in the future it might be better to have a flag specify whether to use UEFI.
This bug report was last modified 7 years and 108 days ago.

Previous Next

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