Subject: Re: PS/2 mouse problem (revisited)
To: None <berke@panix.com>
From: None <mycroft@gnu.ai.mit.edu>
List: netbsd-help
Date: 02/03/1995 10:44:23 
   My kernel configuration file contains the line:
   device          pms0    at isa? port "IO_KBD" irq 5

That is wrong.  PS/2 mice are always(?) at IRQ 12.