Anyone built coreboot on a Guix system?

[Fredrik Salomonsson <plattfot@posteo.net>]

Hi Guix,

I was trying to build coreboot for my wife's Lenovo x220 laptop this
weekend but I wasn't successful.  I've built it before for my own x220 a
few years ago but that was before I migrated most of my machines to
Guix.  It was quite straightforward (not taking configuring coreboot
into consideration😅).  Figured I'll do the same with my wife's x220 as
the brightness control does not work on her laptop after I installed
Guix.  It works perfectly fine on mine and only difference is the bios
(yay reproducible nature of Guix!).

Coreboot insists on building its own cross compilation of GCC for i686.
And it wants Ada support.  I looked into adding a `gcc-ada-toolchain` for
Guix but it looks like in order to build Ada for GCC you need GCC with
Ada support…

Has anyone manage to build coreboot on a Guix system?  And if so how did
you setup the build environment to be able to do so?

I did get it somewhat building by just jump into a Ubuntu container via
distrobox.  But it's a bit flaky with certificates, I need to hunt down
environment variables set in my Guix environment and unset them for
things to work properly in the Ubuntu environment.

Thanks!

-- 
s/Fred[re]+i[ck]+/Fredrik/g