[gentoo-user] should dual-core Pentium Processor Extreme Edition be recognized as two processors or one?

[Denis]

I'm setting up a fresh Gentoo box, which is based on a Pentium
Processor Extreme Edition 840 (Smithfield = 2 Prescott cores) mounted
on an Intel D955XBK board - it's that expensive dual-core deal with
hyperthreading enabled.

I am still working on the basic set-up for Gentoo, such as customizing
USE flags, and haven't set up X or any desktops yet.  I configured and
compiled the latest gentoo-sources kernel - 2.6.20-gentoo-r8, and
booted from it.  Seems to run with no error messages or warnings.

But when I load "top", it only lists stats about one processor.

I thought that dual-core processors would appear as two processors in
Linux, or 4 with hyperthreading enabled.  When I set up the kernel, I
did compile in the SMP support, enhanced RTC, and chose Pentium 4 in
processor family, among other things.  I'm attaching my current
.config file in case there's something I missed.

So would it be normal for a 2.6 kernel to recognize dual-core
processors as "one" processor the way it appears currently in "top",
or should they appear as two and I did something wrong in configuring?

Thanks,
Denis