Dear Benjamin,
I had similar problems:
https://lists.nongnu.org/archive/html/help-guix/2026-07/msg00032.html
On 2026-07-14 15:20, Benjamin Slade wrote:
Hi Guix!
I've run into a very irritating problem on my one machine Guix machine
(a nicely "blob-free" set-up I put together so it can run pure Guix
without problem. And has a great screen (now, again) and keyboard and
so would like to be using it!
I can confirm success running a (contemporary) Guix build with Coreboot
using these (archived) instructions:
https://web.archive.org/web/20210616021328/https://libreboot.org/docs/gnulinux/guix_system.html
Clement Lassieur (CC'd) was credited with information on this procedure.
Perhaps he has further information?
Kind regards,
Jonathan