> Does anyone have a ThinkPad mouse working correctly, or have any idea what's
> causing the mouse from being detected?

The mouse (i.e., both the pin in the keyboard and an external mouse)
works perfectly on my Thinkpad 760CD, running NetBSD 1.3_ALPHA built
from 971027 sources. Excerpts from dmesg output:

vt0 at isa0 port 0x60-0x6f irq 1
vt0: unknown trident, 80 col, color, 8 scr, mf2-kbd, [R3.32]
spkr0 at vt0 port 0x61
pms0 at vt0 irq 12

I haven't tried with a pccons console. If it would help you, I could
do that. I'm appending my config file for reference.

(I don't have any ideas why your mouse doesn't work.)

Regards,
Michael Eriksson

# Kernel for IBM Thinkpad 760CD

include "arch/i386/conf/std.i386"

maxusers	32

# CPU support, at least one is required
#options 	I386_CPU
#options 	I486_CPU
options 	I586_CPU
#options 	I686_CPU	

# CPU-related options
#options 	MATH_EMULATE	# floating point emulation
options 	VM86		# virtual 8086 emulation
options 	USER_LDT	# user-settable LDT; used by WINE
options 	DUMMY_NOPS	# speed hack; recommended
options 	XSERVER		# X server support in console drivers

# Standard system options
options 	UCONSOLE	# users can use TIOCCONS (for xconsole)
options 	INSECURE	# disable kernel security levels
options 	RTC_OFFSET=0	# hardware clock is this many mins. west of GMT
#options 	NTP		# NTP phase/frequency locked loop
options 	KTRACE		# system call tracing via ktrace(1)
options 	SYSVMSG		# System V-like message queues
options 	SYSVSEM		# System V-like semaphores
options 	SYSVSHM		# System V-like memory sharing
options 	LKM		# loadable kernel modules
options 	NORENICE	# don't do renice of long-running proc's

# Diagnostic/debugging support options
options 	DDB		# in-kernel debugger

# Compatibility options
options 	COMPAT_43	# 4.3BSD system interfaces
options 	COMPAT_10	# NetBSD 1.0 binary compatibility
options 	COMPAT_11	# NetBSD 1.1 binary compatibility
options 	COMPAT_12	# NetBSD 1.2 binary compatibility
options 	COMPAT_NOMID	# compatibility with 386BSD, BSDI, NetBSD 0.8,
options 	COMPAT_SVR4	# binary compatibility with SVR4
options 	COMPAT_IBCS2	# binary compatibility with SCO and ISC
options 	COMPAT_LINUX	# binary compatibility with Linux
options 	COMPAT_FREEBSD	# binary compatibility with FreeBSD
options 	EXEC_ELF32	# 32-bit ELF executables (SVR4, Linux)

# File system options
file-system 	FFS		# UFS
#file-system 	EXT2FS		# second extended file system (linux)
#file-system 	LFS		# log-structured file system
file-system 	MFS		# memory file system
file-system 	NFS		# Network File System client
file-system 	CD9660		# ISO 9660 + Rock Ridge file system
file-system 	MSDOSFS		# MS-DOS file system
file-system 	FDESC		# /dev/fd
file-system 	KERNFS		# /kern
file-system 	NULLFS		# loopback file system
file-system 	PORTAL		# portal filesystem (still experimental)
file-system 	PROCFS		# /proc
#file-system 	UMAPFS		# NULLFS + uid and gid remapping
file-system 	UNION		# union file system
#options 	QUOTA		# UFS quotas
options 	NFSSERVER	# Network File System server
#options 	FIFO		# FIFOs; RECOMMENDED
#options 	EXT2FS_SYSTEM_FLAGS # ext2fs magic

# Networking options
options 	INET		# IP + ICMP + TCP + UDP
#options 	TCP_COMPAT_42	# compatibility with 4.2BSD TCP/IP
#options 	GATEWAY		# packet forwarding
#options 	MROUTING	# IP multicast routing
options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
options 	PPP_DEFLATE	# Deflate compression support for PPP
#options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
#options 	PFIL_HOOKS	# pfil(9) packet filter hooks
#options 	NMBCLUSTERS="1024" # avoid panic (statically allocated)

# Kernel root file system and dump configuration.
config		netbsd	root on ? type ?

# Buses
mainbus0 at root
isa*	at mainbus?

# Misc devices
apm0	at mainbus0			# Advanced power management
npx0	at isa? port 0xf0 irq 13	# math coprocessor
vt0	at isa? port 0x60 irq 1		# screen
com0	at isa? port 0x3f8 irq 4	# standard PC serial ports
com1	at isa? port 0x2f8 irq 3
lpt0	at isa? port 0x378 irq 7	# standard PC parallel ports
pms0	at pckbd? irq 12		# PS/2 auxiliary port mouse
spkr0	at pckbd? port 0x61		# PC speaker

# Floppy
fdc0	at isa? port 0x3f0 irq 6 drq 2	# standard PC floppy controllers
fd0	at fdc0 drive 0

# Built-in disks and CD's
wdc0	at isa? port 0x1f0 irq 14	# ST506, ESDI, and IDE controllers
wdc1	at isa? port 0x170 irq 15
wd0	at wdc0 drive 0
wd1	at wdc1 drive 0
wd*	at wdc? drive ?
atapibus* at wdc?
cd*	at atapibus? drive ?

# PCMCIA support
pcic0	at isa? port 0x3e0 iomem 0xd0000 iosiz 0x4000
pcic1	at isa? port 0x3e2 iomem 0xd4000 iosiz 0x4000
pcmcia*	at pcic? controller ? socket ?
com*	at pcmcia? function ?		# Modems and serial cards
ep*	at pcmcia? function ?		# 3Com 3c589 and 3c562 Ethernet
#aic*	at pcmcia? function ?		# Adaptec APA-1460 SCSI
#scsibus* at aic?

# Pseudo devices
pseudo-device	loop			# network loopback
pseudo-device	bpfilter 16		# packet filter
pseudo-device	ppp	2		# PPP
pseudo-device	sl	2		# SLIP
pseudo-device	pty	64		# pseudo-terminals
pseudo-device	tun	4		# tunnel interface
pseudo-device	vnd	4		# vnode
pseudo-device	ipfilter		# IP filter (firewall) and NAT
#pseudo-device	strip		2	# Starmode Radio IP (Metricom)
#pseudo-device	ccd		4	# concatenated/striped disk devices
#pseudo-device	md		1	# memory disk device (ramdisk)
pseudo-device	rnd			# /dev/random and in-kernel generator