Hi, more information: After searching some more and finding I am not alone with respect to stuck keyboard, I also found that someone suggests (in https://bugzilla.redhat.com/show_bug.cgi?id=676446 ) to invoke
echo -n reconnect > /sys/devices/platform/i8042/serio0/drvctl and so far it seems to recover the keyboard, even if the logs are not the same (symptoms are: stuck key and the rest of keys do nothing). Just a workaround, but at least this means no full reboot needed, just ssh from another machine or some kind of automatic triggering. GSR -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
