Ricardo Wurmus <rek...@elephly.net> skribis: > So, using HIDBP is probably wrong and might very well be the cause. > Looking at the module names again I searched the logs for “usbkbd” and, > yes, the GuixSD logs contain this line: > > usbcore: registered new interface driver usbkbd
Do you think we should remove usbkbd from (gnu system linux-initrd)? Is there another module we should load instead? Thanks, Ludo’.