Hi Denis, Denis 'GNUtoo' Carikli skribis: > On Wed, 18 May 2022 15:50:03 +0200 > Denis 'GNUtoo' Carikli wrote: > >> On Wed, 11 May 2022 19:25:10 +0200 >> Maxime Devos 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 >> > . >> 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’.