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 #177 received at 29409 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: m.othacehe <at> gmail.com, 29409 <at> debbugs.gnu.org
Subject: Re: [bug#29409] [PATCH] system: vm: Do not add EFI partition on ARM
 system.
Date: Fri, 08 Dec 2017 10:24:21 +0100
Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> 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.

The SoftIron OverDrive 1000 boxes (aarch64) that we were just donated
use UEFI.

This might actually make porting easier since it’s pretty much
indistinguishable from x86_64/UEFI, isn’t it?

Ludo’.




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.