Hi, could someone point me to information related to /dev/input/mouse? Could I have a PS/2 connected external mouse use this device? Andre.