I installed the debian Linux onto my PC but it did not create a device file for my mouse. How would I create a device file for my mouse? I have a IMSI mouse-PS/2 mouse.