Subject: bug#53554: closed (Re: bug#52667: System reconfiguration fails to build linux-modules.drv)

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 09 Feb 2022 16:40:03 +0000

Your bug report

#52667: linux-libre 5.16 doesn't work with our default-initrd-modules

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
52667: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=52667
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#52667: System reconfiguration fails to build linux-modules.drv
From: Leo Famulari <[email-masked]>
To: Vivien Kraus via Bug reports for GNU Guix <[email-masked]>
Cc: [email-masked]
Date: Wed, 9 Feb 2022 11:39:00 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

On Sun, Dec 19, 2021 at 09:35:52PM +0100, Vivien Kraus via Bug reports for GNU Guix wrote:
> On master, I can’t reconfigure my system, because the linux-modules.drv
> fails with the following error:
[...] 
> gnu/build/linux-modules.scm:257:5: kernel module not found "simplefb" "/gnu/store/1ai7mxw5ad58ic9slxsjzsxaryi5wksp-linux-libre-5.10.87/lib/modules"

This should be fixed with commit
fd6cfbc05ac093a6b9497e6c38bb4678f33ac14d

Subject: linux-libre 5.16 doesn't work with our default-initrd-modules
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Wed, 26 Jan 2022 13:24:47 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

As described in the patch ticket for linux-libre 5.16 [0], this kernel
series doesn't work by default on Guix System.

To paraphrase my request for help from that ticket:

When I test this package with `guix system vm --no-grafts
doc/os-config-bare-bones.texi`, Guix fails to build the VM with this
error message:

------
gnu/build/linux-modules.scm:257:5: kernel module not found "framebuffer_coreboot" "/gnu/store/fffl383am3si0f1brb5azyqcnrnp5rj3-linux-libre-5.16/lib/modules"
------

We added a dependency on this module in commit bc09e7ab569, "gnu:
linux-libre: Support the Coreboot framebuffer." [1]

Among other things, that commit sets
"CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m" and adds 'framebuffer_coreboot'
to ((gnu system linux-initrd) default-initrd-modules).

But, this config option is not offered to me when creating the config
files, and so the module is not built.

Any advice? It would be great if we didn't have to manually edit the
configs each time we add a new kernel series.

[0] https://issues.guix.gnu.org/53356#0
[1] https://git.savannah.gnu.org/cgit/guix.git/commit/?id=bc09e7ab569d5306ce99c5525150695c9d539ef0