Hello, On Fri, Feb 23, 2018 at 03:28:55PM +0100, Danny Milosavljevic wrote: > No, wait, according to > https://unix.stackexchange.com/questions/43699/debian-does-not-detect-serial-pci-card-after-reboot/43723#43723 > , > the kernel should be doing that even without udev. Are we sure we need to > manually modprobe the stuff in gnu/build/linux-boot.scm in > the first place? I think we should just add kmod to the initrd - that's it.
in that case, if I understand correctly, the security question would not be a problem any more, right, as only really needed modules would be loaded by the kernel? Then we could add more modules to the initrd. Andreas