Thanks for this. At least now I know what’s up. I just installed Debian testing on a new ThinkPad 13. Due to a kernel or hardware bug, the trackpoint can’t be configured via the kernel driver (e.g. ‘echo 150 > /sys/bus/serio/devices/serio1/sensitivity/’ and ‘echo 255 > /sys/bus/serio/devices/serio1/speed/’) and due to this libinput bug: https://bugzilla.redhat.com/show_bug.cgi?id=1200717 the trackpoint is still really slow even on max speed.

If I want to keep running Debian on this thing, there’s probably no way around getting rid of libinput, but if I ‘apt-get remove xserver-xorg-input-libinput’ then neither the trackpoint nor external mouse work.

How would I go about installing the drivers for those manually?