I built a kernel for an IBM Thinkpad 600 using -current + the 
sommerfeld_i386mp_1 branch, and it's quite happy, as below.
I needed to use option MULTIPROCESSOR to get a build, but it 
compiled and is running fine.

Note that I *CANNOT* even boot this laptop using -current w/o the mp branch!

(I haven't figured out why yet, I should send-pr...)

	Sean.
- --
NetBSD 1.5V (NLAPTOY) #0: Thu May 17 16:47:34 CEST 2001
    smd@crasse.smd.ebone.net:/usr/src/sys/arch/i386/compile/NLAPTOY
total memory = 127 MB
avail memory = 114 MB
using 1656 buffers containing 6624 KB of memory
BIOS32 rev. 0 found at 0xfd820
PCI BIOS rev. 2.1 found at 0xfd880
pcibios: config mechanism [1][x], special cycles [1][x], last bus 6
PCI IRQ Routing Table rev. 1.0 found at 0xf9e10, size 96 bytes (4 entries)
PCI Interrupt Router at 000:07:0
PCI Exclusive IRQs: 11
PIR Entry 0:
	Bus: 0  Device: 7
		INTA: link 0x60 bitmap 0xdef8
		INTB: link 0x00 bitmap 0x0000
		INTC: link 0x00 bitmap 0x0000
		INTD: link 0x63 bitmap 0xdef8
PIR Entry 1:
	Bus: 0  Device: 2
		INTA: link 0x60 bitmap 0xdef8
		INTB: link 0x61 bitmap 0xdef8
		INTC: link 0x00 bitmap 0x0000
		INTD: link 0x00 bitmap 0x0000
PIR Entry 2:
	Bus: 0  Device: 3
		INTA: link 0x60 bitmap 0xdef8
		INTB: link 0x00 bitmap 0x0000
		INTC: link 0x00 bitmap 0x0000
		INTD: link 0x00 bitmap 0x0000
PIR Entry 3:
	Bus: 0  Device: 4
		INTA: link 0x60 bitmap 0xdef8
		INTB: link 0x61 bitmap 0xdef8
		INTC: link 0x62 bitmap 0xdef8
		INTD: link 0x63 bitmap 0xdef8
pciintr_link_fixup: PIRQ 0x00 already connected to IRQ 11
pciintr_link_fixup: PIRQ 0x03 already connected to IRQ 11
pciintr_link_fixup: PIRQ 0x01 already connected to IRQ 11
pciintr_link_fixup: PIRQ 0x02 not connected
pciintr_link_fixup (stage 2): assigning IRQ 11 to PIRQ 0x02
pciintr_link_route: route of PIRQ 0x00 -> IRQ 11 preserved BIOS setting
pciintr_link_route: route of PIRQ 0x03 -> IRQ 11 preserved BIOS setting
pciintr_link_route: route of PIRQ 0x01 -> IRQ 11 preserved BIOS setting
------------------------------------------
  device vendor product pin PIRQ IRQ stage
------------------------------------------
000:02:0 0x104c 0xac16   A  0x00  11  0    fixed up
000:02:1 0x104c 0xac16   B  0x01  11  0    fixed up
000:03:0 0x10c8 0x0004   A  0x00  11  0    already assigned
000:07:2 0x8086 0x7112   D  0x03  11  0    already assigned
------------------------------------------
PCI bridge 0: primary 0, secondary 1, subordinate 1
PCI bridge 1: primary 0, secondary 2, subordinate 2
PCI bus #2 is the last bus
[System BIOS Setting]-----------------------
  device vendor product
  register space address    size
--------------------------------------------
000:00:0 0x8086 0x7192 
	10h mem  0x10000000 0x10000000
		[OK]
000:02:0 0x104c 0xac16 
	10h mem  0x20301000 0x00001000
		[OK]
000:02:1 0x104c 0xac16 
	10h mem  0x20300000 0x00001000
		[OK]
000:03:0 0x10c8 0x0004 
	10h mem  0xe0000000 0x01000000
	14h mem  0x20000000 0x00200000
	18h mem  0x20200000 0x00100000
		[OK]
000:07:0 0x8086 0x7110 
		[OK]
000:07:1 0x8086 0x7111 
	20h port 0x0000fcf0 0x00000010
		[OK]
000:07:2 0x8086 0x7112 
	20h port 0x00008400 0x00000020
		[OK]
000:07:3 0x8086 0x7113 
		[OK]
--------------------------[  0 devices bogus]
 Physical memory end: 0x07fc0000
 PCI memory mapped I/O space start: 0x08000000
mainbus0 (root)
mainbus0: scanning 0x9fc00 to 0x9fff0 for MP signature
mainbus0: scanning 0x9f800 to 0x9fbf0 for MP signature
mainbus0: scanning 0xf0000 to 0xffff0 for MP signature
cpu0 at mainbus0: (uniprocessor)
cpu0: Intel Pentium II/Celeron (Deschutes) (686-class), 298.44 MHz
cpu0: features 183f9ff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,SEP,MTRR>
cpu0: features 183f9ff<PGE,MCA,CMOV,FGPAT,PSE36,MMX,FXSR>
cpu0: I-cache 16 KB 32b/line 4-way, D-cache 16 KB 32b/line 4-way
cpu0: L2 cache 512 KB 32b/line 4-way
cpu0: ITLB 32 4 KB entries 4-way, 2 4 MB entries fully associative
cpu0: DTLB 64 4 KB entries 4-way, 8 4 MB entries 4-way
cpu0: 32 page colors
cpu0: kstack at 0xcc4a0000 for 8192 bytes
cpu0: idle pcb at 0xcc4a0000, idle sp at 0xcc4a1fa0
pnpbios0 at mainbus0: nodes 23, max len 980
pnpbios0: not docked
pckbc1 at pnpbios0 index 5 (PNP0303): kbd port
pckbc2 at pnpbios0 index 6 (IBM3780, attached as PNP0F13): aux port
pckbd0 at pckbc1 (kbd slot)
pckbc1: using irq 1 for kbd slot
wskbd0 at pckbd0: console keyboard
pms0 at pckbc1 (aux slot)
pckbc1: using irq 12 for aux slot
wsmouse0 at pms0 mux 0
fdc0 at pnpbios0 index 8 (PNP0700)
fdc0: io 3f0-3f5, irq 6, dma 2
fdc0: ctl io 3f7 didn't probe. Forced attach
lpt0 at pnpbios0 index 11 (PNP0400)
lpt0: io 3bc-3bf, irq 7
com0 at pnpbios0 index 13 (PNP0501)
com0: io 3f8-3ff, irq 4
com0: ns16550a, working fifo
wss0 at pnpbios0 index 14 (CSC0000)
wss0: io 530-537 388-38b 220-233, irq 5, dma 1 0
wss0: CS4237B
audio0 at wss0: full duplex, mmap
opl0 at wss0: model OPL3
midi at opl0 not configured
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled
pchb0 at pci0 dev 0 function 0
pchb0: Intel 82443BX Host Bridge/Controller (AGP disabled) (rev. 0x02)
cbb0 at pci0 dev 2 function 0: Texas Instruments PCI1250 PCI-CardBus Bridge (rev. 0x02)
cbb1 at pci0 dev 2 function 1: Texas Instruments PCI1250 PCI-CardBus Bridge (rev. 0x02)
vga1 at pci0 dev 3 function 0: Neomagic MagicGraph 128XD (rev. 0x01)
wsdisplay0 at vga1: console (80x25, vt100 emulation), using wskbd0
wsdisplay0: screen 1-3 added (80x25, vt100 emulation)
pcib0 at pci0 dev 7 function 0
pcib0: Intel 82371AB PCI-to-ISA Bridge (PIIX4) (rev. 0x01)
pciide0 at pci0 dev 7 function 1: Intel 82371AB IDE controller (PIIX4) (rev. 0x01)
pciide0: bus-master DMA support present
pciide0: primary channel wired to compatibility mode
wd0 at pciide0 channel 0 drive 0: <HITACHI_DK239A-65B>
wd0: drive supports 16-sector PIO transfers, LBA addressing
wd0: 6149 MB, 13328 cyl, 15 head, 63 sec, 512 bytes/sect x 12594960 sectors
wd0: 32-bit data port
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 2 (Ultra/33)
pciide0: primary channel interrupting at irq 14
wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 2 (Ultra/33) (using DMA data transfers)
pciide0: secondary channel wired to compatibility mode
atapibus0 at pciide0 channel 1: 2 targets
cd0 at atapibus0 drive 0: <SANYO CRD-S372B, , 1.24NS> type 5 cdrom removable
cd0: 32-bit data port
cd0: drive supports PIO mode 4, DMA mode 2
pciide0: secondary channel interrupting at irq 15
cd0(pciide0:1:0): using PIO mode 4, DMA mode 2 (using DMA data transfers)
Intel 82371AB USB Host Controller (PIIX4) (USB serial bus, revision 0x01) at pci0 dev 7 function 2 not configured
Intel 82371AB Power Management Controller (PIIX4) (miscellaneous bridge, revision 0x01) at pci0 dev 7 function 3 not configured
cbb0: interrupting at irq 11
cardslot0 at cbb0 slot 0 flags 0
cardbus0 at cardslot0: bus 1 device 0 cacheline 0x8, lattimer 0xb0
pcmcia0 at cardslot0
cbb1: interrupting at irq 11
cardslot1 at cbb1 slot 1 flags 0
cardbus1 at cardslot1: bus 2 device 0 cacheline 0x8, lattimer 0xb0
pcmcia1 at cardslot1
isa0 at pcib0
pcppi0 at isa0 port 0x61
sysbeep0 at pcppi0
npx0 at isa0 port 0xf0-0xff: using exception 16
apm0 at mainbus0: Power Management spec V1.2
apm: 1 batteries, global standby, global suspend, rtimer suspend, internal standby, pccard standby
apm0: battery life expectancy: 99%
apm0: A/C state: on
apm0: battery charge state: high
apm0: battery life expectancy: 99%
apm0: A/C state: on
apm0: battery charge state: high
apm0: battery life expectancy: 99%
apm0: A/C state: on
apm0: battery charge state: high
biomask ef4d netmask ef4d ttymask ffcf
cpu0: prelint0 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: prelint1 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: timer0 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: pcint0 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: lint0 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: lint1 0<vector=0,delmode=0,dest=0> 0<target=0>
cpu0: err0 0<vector=0,delmode=0,dest=0> 0<target=0>
ex0 at cardbus1 dev 0 function 0: 3Com 3c575B-TX Ethernet
ex0: MAC address 00:10:4b:7c:a7:6d
tqphy0 at ex0 phy 0: 78Q2120 10/100 media interface, rev. 3
tqphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
boot device: wd0
root on wd0a dumps on wd0b
root file system type: ffs
ex0: interrupting at 11
wsdisplay0: screen 4 added (80x25, vt100 emulation)
wsmux1: connecting to wsdisplay0