Hello,

I've recently attempted to load NetBSD-current (1.6T) on an dual Pentium 
Pro 200 machine. Somehow it doesn't seem to be able to use the second 
processor. I'm using the SWINGER_MP kernel. Everything appears to be 
fine on the one processor.

The BIOS on this machine was recently reset due to a battery issue and I 
haven't yet upgraded it. I suspect that this may be the issue but please 
correct me if I'm wrong. Here's some dmesg output...

BIOS32 rev. 0 found at 0xfd7e2
PCI BIOS rev. 2.1 found at 0xfd9de
pcibios: config mechanism [1][x], special cycles [x][x], last bus 0
PCI BIOS has 4 Interrupt Routing table entries
PCI Exclusive IRQs: 9 11 15
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
mainbus0: MP floating pointer found in bios at 0xf9ad0
mainbus0: MP config table at 0x9fd50, 276 bytes long
mainbus0: Intel MP Specification (Version 1.1) (INTEL    440FX       )
cpu0 at mainbus0: apid 1 (boot processor)
cpu0: Intel Pentium Pro (686-class), 199.33 MHz, id 0x619
cpu0: features fbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features fbff<PGE,MCA,CMOV>
cpu0: I-cache 8 KB 32b/line 4-way, D-cache 8 KB 32b/line 2-way
cpu0: L2 cache 256 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: calibrating local timer
cpu0: apic clock running at 66 MHz
cpu0: 16 page colors
cpu0: kstack at 0xca7c7000 for 16384 bytes
cpu0: idle pcb at 0xca7c7000, idle sp at 0xca7caf98
cpu at mainbus0: not configured


Also - is there a way to update the BIOS from within NetBSD?

Any help would be fantastic,

Louis