Hi Ludo, there's a problem with check-device-initrd-modules: on "guix system init" it doesn't get linux-module-directory and doesn't pass it on to matching-modules. matching-modules then eventually defaults to (current-alias-file) - which is not found on a non-GuixSD system. Would it be possible to get rid of the defaults in gnu/build/linux-modules.scm ? I don't think those are safe or useful for our requirements. I've had to work around those before. check-initrd-modules could use the initrd's new kernel modules to find out which modules to include (after all). Then we could also check the dependencies directly in the new Linux kernel modules and all in all it would be safer.