Guix deploy fails claiming some module missing

Guix deploy fails claiming some module missing

[Wicki Gabriel (wicg)]

Hi

I've been developing for/on a Raspi and successfully built images and deployed to the machine, but at some point in time deployment failed with this message:

missing modules for #<file-system-label "Guix_image">: uio_pdrv_genirq

I am not sure what had changed in my code base that would lead to this error, and I am somewhat puzzled over the fact that building the system (image) itself works but deploy fails?
Also, the module is loaded in the running system.

Any ideas/hints/pointers?

g

Re: Guix deploy fails claiming some module missing

[Marek Paśnikowski]

[-- Attachment #1: Type: text/plain, Size: 341 bytes --]

> missing modules for #<file-system-label "Guix_image">: uio_pdrv_genirq

It looks to me that, for whatever reason, the kernel is failing to find the 
uio_pdrv_genirq driver module. Did the failure start on a new kernel version? 
My hypothesis is that a new requirement has been placed by the kernel and you 
need to compile that module too.

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: Guix deploy fails claiming some module missing

[Fredrik Simón]

> missing modules for #<file-system-label "Guix_image">: uio_pdrv_genirq

Hi Gabriel,

I just ran into this as well while 'guix deploy'-ing to a Raspberry Pi. Maybe you have resolved it already but the message comes from safety-checks? in machine-ssh-configuration, which verifies that modules for configured filesystems are loaded by initrd.

We can resolve this by either adding (initrd-modules '("uio_pdrv_genirq")) or disabling safety checks.

Going with the former initially led me to another error in Guix's linux module builder, where it expects kernel modules to either be gzipped or uncompressed. But some kernel configurations default to e.g. xz compression which will fail to build. Adding CONFIG_MODULE_COMPRESS_GZIP=y to the kernel config helps here.