In article <20040930122229.GA84955@lori.mine.nu>,
Geert Hendrickx <geert.hendrickx@ua.ac.be> wrote:
>Hello, 
>
>I have installed NetBSD-2.0_RC1 with GENERIC.MP kernel on a dual-cpu
>i386 machine (dual P4).  NetBSD runs fine, but the kernel seems to
>detect only one cpu (dmesg appended below).  However both FreeBSD and
>Linux (knoppix) do detect and spin up both cpus.  
>
>What am I missing?  Maybe some sysctls or loader configuration which I
>must tweak?  I can hardly find documentation about SMP on NetBSD...  

Is it a true dual P4 or a hyperthreaded one? If you have two physical
processors, then this is a bug. If you have two logical ones, then you
need to use an ACPI kernel inorder for them to be found.

christos