Actually, the i8042.nomux parameter is not enough. Sometimes it works, sometimes it doesn't. The i8042.dumbkbd parameter seems to work better. I'm having difficulties to properly debug this as the ATA driver also hangs quite soon after boot.
Actually, the i8042.nomux parameter is not enough. Sometimes it works, sometimes it doesn't. The i8042.dumbkbd parameter seems to work better. I'm having difficulties to properly debug this as the ATA driver also hangs quite soon after boot.