GNU bug report logs - #55343
Add support for 32bit UEFI

Previous Next

Package: guix-patches;

Reported by: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>

Date: Mon, 9 May 2022 23:18:02 UTC

Severity: normal

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

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

From: Maxime Devos <maximedevos <at> telenet.be>
To: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>, 55343 <at> debbugs.gnu.org
Subject: Re: [bug#55343] [PATCH 2/2] image: Add new efi32-raw format for
 32bit UEFI on 64bit systems
Date: Tue, 10 May 2022 11:32:52 +0200

[Message part 1 (text/plain, inline)]
Denis 'GNUtoo' Carikli schreef op di 10-05-2022 om 01:24 [+0200]:
> +           ((#:configure-flags flags
> +             ''()) `(cons* ,(cond ((target-x86?) "--target=i386")
> +                                  ((target-arm?) "--target=arm"))
> +                           ,flags)))))))

Isn't this just grub but compiled for the 32-bit variant of the system?
If so, can we reuse Guix built-in cross-compilation and native
compilation mechanisms here?  Maybe

  (list #:target "i386")

or

  (list #:target "i686-linux-gnu") ; if i386 is invalid

or

  (list #:system "i686-linux)

or

  (list #:system "i586-gnu")


Or do you mean to use 'grub' as a cross-compiler here (instead of
something that is being cross-compiled), like 'gcc'?

Greetings,
Maxime

[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 3 years and 26 days ago.

Previous Next

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