david: if you do
dpkg-reconfigure linux-image-`uname -r`
and reboot, do you get /dev/input/mice then?
david: if you do
dpkg-reconfigure linux-image-`uname -r`
and reboot, do you get /dev/input/mice then?