Make sure ps2 port command reads are from the desired device.

Discard reads from real-time events or from a different device.
Also, improve the kbd/mouse diagnostic messages.
3 files changed
tree: c7149c6dc8313909b66935d3d34f4ca281fdfb1b
  1. .gitignore
  2. COPYING
  3. Makefile
  4. README
  5. TODO
  6. src/
  7. tools/