Raspberry Pi 4b: FATAL: Module tpm-crb not found in directory /nix/store #858
Description
I'm trying to use the Raspberry Pi 4 module for my rpi setup, but I can't seem to make it work:
error: builder for '/nix/store/s0gf53d463gjqj674b1cbl6zd9z6p8hk-linux-6.1.63-stable_20231123-modules-shrunk.drv' failed with exit code 1;
last 10 log lines:
> root module: uas
> builtin dependency: uas
> root module: autofs
> builtin dependency: autofs4
> root module: tpm-tis
> copying dependency: /nix/store/gaxzrdl8840rsd18a7vgrq1bqxvfsjjs-linux-6.1.63-stable_20231123-modules/lib/modules/6.1.63/kernel/drivers/char/tpm/tpm.ko.xz
> copying dependency: /nix/store/gaxzrdl8840rsd18a7vgrq1bqxvfsjjs-linux-6.1.63-stable_20231123-modules/lib/modules/6.1.63/kernel/drivers/char/tpm/tpm_tis_core.ko.xz
> copying dependency: /nix/store/gaxzrdl8840rsd18a7vgrq1bqxvfsjjs-linux-6.1.63-stable_20231123-modules/lib/modules/6.1.63/kernel/drivers/char/tpm/tpm_tis.ko.xz
> root module: tpm-crb
> modprobe: FATAL: Module tpm-crb not found in directory /nix/store/gaxzrdl8840rsd18a7vgrq1bqxvfsjjs-linux-6.1.63-stable_20231123-modules/lib/modules/6.1.63
This is using the Flakes setup.
This seems to be related to boot.kernelPackages.