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

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: m.othacehe <at> gmail.com
Cc: 29409 <at> debbugs.gnu.org
Subject: [bug#29409] [PATCH] system: vm: Do not add EFI partition on ARM system.
Date: Fri, 01 Dec 2017 12:01:27 +0100

m.othacehe <at> gmail.com skribis:

> From: Mathieu Othacehe <m.othacehe <at> gmail.com>
>
> * gnu/system/vm.scm (qemu-img): Do not add EFI partition if we are targetting
>   ARM.
>
> UEFI support on u-boot is still experimental, so do not add EFI partition on
> ARM for now.

[...]

> +                    ;; Append a small EFI System Partition for use with UEFI
> +                    ;; bootloaders if we are not targetting ARM.

+ “because UEFI support in U-Boot is experimental.”

> +                    (if #$(target-arm32?)
> +                        '()

Also can you add something like:

  ;; FIXME: ‘target-arm32?’ may be not operate on the right
  ;; system/target values.  Rewrite using ‘let-system’ when available.

OK with these changes, thank you!

And sorry for not completing ‘let-system’ in type.  I plan to resume
soonish but I figured I’d rather focus on the new release now.

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.