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. src/
  2. tools/
  3. .gitignore
  4. COPYING
  5. Makefile
  6. README
  7. TODO