PS/2 Mouse Port

[Terri and Glen Kondos]

I'm having trouble figuring out what device I should use for my PS/2 port mouse. I have a Microsoft PS/2 mouse and notice on boot up the Linux recognizes that there is a PS/2 mouse port. When configuring /etc/gpm.conf, I don't know what device to use for the mouse. Couldn't find a HOWTO on the topic and I didn't see an appropriate device driver to load during the installation phase. I've run out options on other resources to use. I'm just moving to Debian GNU/Linux from Redhat in which the mouse just automagically worked. Appreciate any support Glen Kondos, Alice Springs, Australia