[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#55343] Add support for 32bit UEFI
From: |
Ludovic Courtès |
Subject: |
[bug#55343] Add support for 32bit UEFI |
Date: |
Fri, 17 Jun 2022 22:36:35 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi Denis,
Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> skribis:
> On Wed, 18 May 2022 15:50:03 +0200
> Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> wrote:
>
>> On Wed, 11 May 2022 19:25:10 +0200
>> Maxime Devos <maximedevos@telenet.be> wrote:
>>
>> > Denis 'GNUtoo' Carikli schreef op wo 11-05-2022 om 19:00 [+0200]:
>> > > [1] Here's the output when trying to build grub-efi32 with
>> > > (list #:target "i686-linux"):
>> >
>> > I don't think it will be relevant to grub-efi32, at least for now,
>> > but I have opened an issue for this at
>> > <https://issues.guix.gnu.org/55373>.
>> Thanks.
>>
>> Do I still need to do something with the patch serie adding support
>> for 32bit UEFI or is everything OK?
> As I understood that serie was ready to be merged or is there something
> I still need to do on my side?
Sorry for the delay; Mathieu, this is more your area of expertise: WDYT?
https://issues.guix.gnu.org/55343
Ludo’.