BTW I am now running: Linux walnut 4.9.0-1-rt-amd64 #1 SMP PREEMPT RT Debian 4.9.6-3 (2017-01-28) x86_64 GNU/Linux
linux-headers-4.9.0-1-rt-amd64: /usr/src/linux-headers-4.9.0-1-rt-amd64/include/config/mouse/ps2/trackpoint.h But the thing is, LightDM seems to successfully use this driver. It tracks to the right just fine, and proceeds quickly across the screen in both directions, just like in Windows 10. Something about XFCE4's use of the driver does not work, I think. (And KDE.) Thanks. Mark
