Comment 23 for bug 2033271

Revision history for this message
Bernd Müller (bmubul) wrote :

The work-around provided by Johannes does work for me.

sudo vi /etc/default/grub
# --
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash i8042.nomux=1"
# --

Parameter i8042.reset is not working for me, but does not effect the outcome.

sudo update-grub