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-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20120311010733.GA25905@fortress.battleship">http://lists.debian.org/20120311010733.GA25905@fortress.battleship