In message <mtuekyem1vl.fsf@contents-vnder-pressvre.mit.edu>, "Nathan J. Willia
ms" writes:
>It does need to be enabled by the BIOS. I've heard rumors that some
>BIOSes foul that up for the newer Xeons with 512k L2 cache... they
>don't expect to see HT on processors slower than 2.4GHz, but HT Xeons
>with 512K L2 also exist at 1.8, 2.0, and 2.2GHz.

Hmm.

cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel Pentium 4 (686-class), 2399.46 MHz, id 0xf27
cpu0: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu0: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu0: I-cache 12K uOp cache 8-way, D-cache 8 KB 64b/line 4-way
cpu0: L2 cache 512 KB 64b/line 8-way
cpu0: ITLB 4K/4M: 128 entries
cpu0: DTLB 4K/4M: 64 entries
cpu0: calibrating local timer
cpu0: apic clock running at 133 MHz
cpu0: 16 page colors

I'm retrying with options MPACPI.

-s