Hi Mark, should it be possible to have a kernel without module support in Guix? Is there a system test already that tests that case? I ask because I don't know what depmod would do when passed such a kernel. (I'm trying pretty hard here to not break that case--but actually I don't even know whether it works in the first place) Is it easily possible to build such a kernel?