Subject: Re: Kernel incorrectly reports 2 cpu's on i386 4.99.31
To: Kenneth Freidank <kennethcf@earthlink.net>
From: Chavdar Ivanov <ci4ic4@gmail.com>
List: current-users
Date: 10/29/2007 13:42:39
On 29/10/2007, Kenneth Freidank <kennethcf@earthlink.net> wrote:
> Using current dated 10-06-2007.
>
> I copied the GENERIC kernel.  Differences in my kernel and GENERIC are
>     RTC_OFFSET=300
>     PCI bridge
>         using ichlpcib* at pci? dev ? function ?      # Intel ICH
> PCI-ISA w/ timecounter,
>                                         # watchdog and SpeedStep support
>         instead of piixpcib* at pci? dev ? function ?     # Intel PIIX4
> PCI-ISA w/ SpeedStep
>     compiled with CPUFLAGS set to optimize for prescott
>         makeoptions     CPUFLAGS="-march=prescott -mtune=prescott" #
> Assume at least 486,
>                                                         # tune for more
> modern
>
>
> =============== some kernel config data ============
> # $NetBSD: T5048,v 1.001 2007/10/13 00:04:00 solomon Exp $
> #
> # GENERIC machine description file
> #
> # This machine description file is used to generate the default NetBSD
> # kernel.  The generic kernel does not include all options, subsystems
> # and device drivers, but should be useful for most applications.
> #
> # The machine description file can be customised for your specific
> # machine to reduce the kernel size and improve its performance.
> #
> # For further information on compiling NetBSD kernels, see the config(8)
> # man page.
> #
> # For further information on hardware support for this architecture, see
> # the intro(4) man page.  For further information about kernel options
> # for this architecture, see the options(4) man page.  For an explanation
> # of each device driver in this file see the section 4 man page for the
> # device.
>
> include         "arch/i386/conf/std.i386"
>
> options         INCLUDE_CONFIG_FILE     # embed config file in kernel binary
>
> #ident          "T5048-$Revision: 1.001 $"
>
> maxusers        32              # estimated number of users
>
> # CPU support.  At least one is REQUIRED.
> #options        I386_CPU
> options         I486_CPU
> options         I586_CPU
> options         I686_CPU
>
> makeoptions     CPUFLAGS="-march=prescott -mtune=prescott" # Assume at
> least 486,
>                                                         # tune for more
> modern
>
> # CPU-related options.
> #options        MATH_EMULATE    # floating point emulation
> options         VM86            # virtual 8086 emulation
> options         USER_LDT        # user-settable LDT; used by WINE
> # insert delay no-ops in interrupts; recommended on very old machines
> #options        PIC_DELAY
>
> # Enhanced SpeedStep Technology in the Pentium M
> options         ENHANCED_SPEEDSTEP
> #options        EST_FREQ_USERWRITE      # any user can set frequency
>
> # AMD PowerNow! K7
> options         POWERNOW_K7
>
> # AMD PowerNow! and Cool`n'Quiet technology
> options         POWERNOW_K8
>
> # VIA PadLock
> #options        VIA_PADLOCK
>
> # Intel(R) On Demand Clock Modulation (aka ODCM)
> # options       INTEL_ONDEMAND_CLOCKMOD
>
> options         MTRR            # memory-type range register syscall support
> # doesn't work with MP just yet..
> #options        PERFCTRS        # performance-monitoring counters support
>
> options         MULTIBOOT       # Multiboot support (see multiboot(8))
>
> # delay between "rebooting ..." message and hardware reset, in milliseconds
> #options        CPURESET_DELAY=2000
>
> # This option allows you to force a serial console at the specified
> # I/O address.   see console(4) for details.
> #options        CONSDEVNAME="\"com\"",CONADDR=0x2f8,CONSPEED=57600
> #       you don't want the option below ON iff you are using the
> #       serial console option of the new boot strap code.
> #options        CONS_OVERRIDE   # Always use above! independent of boot info
>
> # The following options override the memory sizes passed in from the boot
> # block.  Use them *only* if the boot block is unable to determine the
> correct
> # values.  Note that the BIOS may *correctly* report less than 640k of base
> # memory if the extended BIOS data area is located at the top of base memory
> # (as is the case on most recent systems).
> #options        REALBASEMEM=639         # size of base memory (in KB)
> #options        REALEXTMEM=15360        # size of extended memory (in KB)
>
> # Standard system options
>
> options         INSECURE        # disable kernel security levels - X
> needs this
>
> options         RTC_OFFSET=300  # hardware clock is this many mins. west
> of GMT
> options         NTP             # NTP phase/frequency locked loop
> #options        NO_TSC_TIME     # Don't use TSC microtime, even if
> available.
>                                 # Improves time behavior under VMware.
>
> options         KTRACE          # system call tracing via ktrace(1)
> #options        SYSTRACE        # system call vetting via systrace(1)
>
> options         SYSVMSG         # System V-like message queues
> options         SYSVSEM         # System V-like semaphores
> #options        SEMMNI=10       # number of semaphore identifiers
> #options        SEMMNS=60       # number of semaphores in system
> #options        SEMUME=10       # max number of undo entries per process
> #options        SEMMNU=30       # number of undo structures in system
> options         SYSVSHM         # System V-like memory sharing
> #options        SHMMAXPGS=2048  # 2048 pages is the default
> options         P1003_1B_SEMAPHORE      # p1003.1b semaphore support
>
> options         LKM             # loadable kernel modules
> options         USERCONF        # userconf(4) support
> #options        PIPE_SOCKETPAIR # smaller, but slower pipe(2)
> options         SYSCTL_INCLUDE_DESCR    # Include sysctl descriptions in
> kernel
>
> # Beep when it is safe to power down the system (requires sysbeep)
> #options        BEEP_ONHALT
> # Some tunable details of the above feature (default values used below)
> #options        BEEP_ONHALT_COUNT=3     # Times to beep
> #options        BEEP_ONHALT_PITCH=1500  # Default frequency (in Hz)
> #options        BEEP_ONHALT_PERIOD=250  # Default duration (in msecs)
>
> # Enable experimental buffer queue strategy for better responsiveness under
> # high disk I/O load. Likely stable but not yet the default.
> #options        BUFQ_READPRIO
> #options        BUFQ_PRIOCSCAN
>
> # Diagnostic/debugging support options
> #options        DIAGNOSTIC      # expensive kernel consistency checks
> #options        DEBUG           # expensive debugging checks/support
> #options        KMEMSTATS       # kernel memory statistics (vmstat -m)
> options         DDB             # in-kernel debugger
> #options        DDB_ONPANIC=1   # see also sysctl(8): `ddb.onpanic'
> options         DDB_HISTORY_SIZE=512    # enable history editing in DDB
> #options        DDB_VERBOSE_HELP
> #options        KGDB            # remote debugger
> #options        KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600
> #makeoptions    DEBUG="-g"      # compile full symbol table
> #options        SYSCALL_STATS   # per syscall counts
> #options        SYSCALL_TIMES   # per syscall times
> #options        SYSCALL_TIMES_HASCOUNTER        # use 'broken' rdtsc
> (soekris)
>
> # Compatibility options
> options         COMPAT_NOMID    # NetBSD 0.8, 386BSD, and BSDI
> options         COMPAT_09       # NetBSD 0.9
> options         COMPAT_10       # NetBSD 1.0
> options         COMPAT_11       # NetBSD 1.1
> options         COMPAT_12       # NetBSD 1.2, 386BSD, and BSDI
> options         COMPAT_13       # NetBSD 1.3, 386BSD, and BSDI
> options         COMPAT_14       # NetBSD 1.4
> options         COMPAT_15       # NetBSD 1.5
> options         COMPAT_16       # NetBSD 1.6
> options         COMPAT_20       # NetBSD 2.0
> options         COMPAT_30       # NetBSD 3.0
> options         COMPAT_40       # NetBSD 4.0
> options         COMPAT_43       # 4.3BSD, 386BSD, and BSDI
> #options        COMPAT_386BSD_MBRPART # recognize old partition ID
> #options        TCP_COMPAT_42   # 4.2BSD TCP/IP bug compat. Not recommended.
>
> options         COMPAT_OSSAUDIO # OSS (Voxware) audio driver compatibility
> options         COMPAT_SVR4     # binary compatibility with SVR4
> options         COMPAT_IBCS2    # binary compatibility with SCO and ISC
> options         COMPAT_LINUX    # binary compatibility with Linux
> options         COMPAT_FREEBSD  # binary compatibility with FreeBSD
> #options        COMPAT_MACH     # binary compatibility with Mach binaries
> #options        COMPAT_DARWIN   # binary compatibility with Darwin binaries
> #options        EXEC_MACHO      # exec MACH-O binaries
> #options        COMPAT_NDIS     # NDIS network driver
> #options        COMPAT_PECOFF   # kernel support to run Win32 apps
> options         COMPAT_BSDPTY   # /dev/[pt]ty?? ptys.
>
> # File systems
> file-system     FFS             # UFS
> file-system     EXT2FS          # second extended file system (linux)
> file-system     LFS             # log-structured file system
> file-system     MFS             # memory file system
> file-system     NFS             # Network File System client
> file-system     NTFS            # Windows/NT file system (experimental)
> file-system     CD9660          # ISO 9660 + Rock Ridge file system
> file-system     MSDOSFS         # MS-DOS file system
> file-system     FDESC           # /dev/fd
> file-system     KERNFS          # /kern
> file-system     NULLFS          # loopback file system
> file-system     OVERLAY         # overlay file system
> file-system     PORTAL          # portal filesystem (still experimental)
> file-system     PROCFS          # /proc
> file-system     UMAPFS          # NULLFS + uid and gid remapping
> file-system     UNION           # union file system
> file-system     CODA            # Coda File System; also needs vcoda (below)
> file-system     SMBFS           # experimental - CIFS; also needs nsmb
> (below)
> file-system     PTYFS           # /dev/ptm support
> file-system     TMPFS           # Efficient memory file-system
> #file-system    UDF             # experimental - OSTA UDF CD/DVD file-system
> #file-system    HFS             # experimental - Apple HFS+ (read-only)
>
> # File system options
> options         QUOTA           # UFS quotas
> #options        FFS_EI          # FFS Endian Independent support
> options         SOFTDEP         # FFS soft updates support.
> # Note that UFS_DIRHASH is suspected of causing kernel memory corruption.
> # It is not recommended for general use.
> #options        UFS_DIRHASH     # UFS Large Directory Hashing - Experimental
> options         NFSSERVER       # Network File System server
> #options        FFS_NO_SNAPSHOT # No FFS snapshot support
> #options        EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
>                                 # immutable) behave as system flags.
>
> # Networking options
> #options        GATEWAY         # packet forwarding
> options         INET            # IP + ICMP + TCP + UDP
> options         INET6           # IPV6
> #options        IPSEC           # IP security
> #options        IPSEC_ESP       # IP security (encryption part; define
> w/IPSEC)
> #options        IPSEC_NAT_T     # IPsec NAT traversal (NAT-T)
> #options        IPSEC_DEBUG     # debug for IP security
> #options        MROUTING        # IP multicast routing
> #options        PIM             # Protocol Independent Multicast
> #options        ISO,TPIP        # OSI
> #options        EON             # OSI tunneling over IP
> options         NETATALK        # AppleTalk networking protocols
> options         PPP_BSDCOMP     # BSD-Compress compression support for PPP
> options         PPP_DEFLATE     # Deflate compression support for PPP
> options         PPP_FILTER      # Active filter support for PPP
> (requires bpf)
> options         PFIL_HOOKS      # pfil(9) packet filter hooks
> options         IPFILTER_LOG    # ipmon(8) log support
> options         IPFILTER_LOOKUP # ippool(8) support
> #options        IPFILTER_DEFAULT_BLOCK  # block all packets by default
> #options        TCP_DEBUG       # Record last TCP_NDEBUG packets with
> SO_DEBUG
>
> #options        ALTQ            # Manipulate network interfaces' output
> queues
> #options        ALTQ_BLUE       # Stochastic Fair Blue
> #options        ALTQ_CBQ        # Class-Based Queueing
> #options        ALTQ_CDNR       # Diffserv Traffic Conditioner
> #options        ALTQ_FIFOQ      # First-In First-Out Queue
> #options        ALTQ_FLOWVALVE  # RED/flow-valve (red-penalty-box)
> #options        ALTQ_HFSC       # Hierarchical Fair Service Curve
> #options        ALTQ_LOCALQ     # Local queueing discipline
> #options        ALTQ_PRIQ       # Priority Queueing
> #options        ALTQ_RED        # Random Early Detection
> #options        ALTQ_RIO        # RED with IN/OUT
> #options        ALTQ_WFQ        # Weighted Fair Queueing
>
> # These options enable verbose messages for several subsystems.
> # Warning, these may compile large string tables into the kernel!
> options         ACPIVERBOSE     # verbose ACPI device autoconfig messages
> options         EISAVERBOSE     # verbose EISA device autoconfig messages
> options         MIIVERBOSE      # verbose PHY autoconfig messages
> options         PCIVERBOSE      # verbose PCI device autoconfig messages
> #options        PCI_CONFIG_DUMP # verbosely dump PCI config space
> #options        PCMCIAVERBOSE   # verbose PCMCIA configuration messages
> options         SCSIVERBOSE     # human readable SCSI error messages
> options         USBVERBOSE      # verbose USB device autoconfig messages
> #options        PNPBIOSVERBOSE  # verbose PnP BIOS messages
> #options        PNPBIOSDEBUG    # more fulsome PnP BIOS debugging messages
> options         MCAVERBOSE      # verbose MCA device autoconfig messages
>
> options         NFS_BOOT_DHCP,NFS_BOOT_BOOTPARAM
>
> #
> # wscons options
> #
> # builtin terminal emulations
> #options        WSEMUL_SUN              # sun terminal emulation
> options         WSEMUL_VT100            # VT100 / VT220 emulation
> # customization of console and kernel output - see dev/wscons/wsdisplayvar.h
> options         WSDISPLAY_CUSTOM_OUTPUT # color customization from
> wsconsctl(8)
> #options        WS_DEFAULT_FG=WSCOL_WHITE
> #options        WS_DEFAULT_BG=WSCOL_BLACK
> #options        WS_DEFAULT_COLATTR="(0)"
> #options        WS_DEFAULT_MONOATTR="(0)"
> options         WS_KERNEL_FG=WSCOL_GREEN
> #options        WS_KERNEL_BG=WSCOL_BLACK
> #options        WS_KERNEL_COLATTR=""
> #options        WS_KERNEL_MONOATTR=""
> # customization of console border color
> options         WSDISPLAY_CUSTOM_BORDER # custom border colors via
> wsconsctl(8)
> #options        WSDISPLAY_BORDER_COLOR=WSCOL_BLUE       # default color
> # compatibility to other console drivers
> options         WSDISPLAY_COMPAT_PCVT           # emulate some ioctls
> options         WSDISPLAY_COMPAT_SYSCONS        # emulate some ioctls
> options         WSDISPLAY_COMPAT_USL            # VT handling
> options         WSDISPLAY_COMPAT_RAWKBD         # can get raw scancodes
> #options        WSKBD_EVENT_AUTOREPEAT          # auto repeat in event mode
> #options        WSKBD_USONLY                    # strip off non-US keymaps
> # don't attach pckbd as the console if no PS/2 keyboard is found
> options         PCKBD_CNATTACH_MAY_FAIL
> # see dev/pckbport/wskbdmap_mfii.c for implemented layouts
> #options        PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for pckbd driver
> #options        UKBD_LAYOUT="(KB_DE | KB_NODEAD)"  # for ukbd driver
> # allocate a number of virtual screens at autoconfiguration time
> #options        WSDISPLAY_DEFAULTSCREENS=4
> # use a large software cursor that doesn't blink
> options         PCDISPLAY_SOFTCURSOR
> # modify the screen type of the console; defaults to "80x25"
> #options        VGA_CONSOLE_SCREENTYPE="\"80x24\""
> # work around a hardware bug that loaded fonts don't work; found on ATI
> cards
> #options        VGA_CONSOLE_ATI_BROKEN_FONTSEL
> # console scrolling support.
> options         WSDISPLAY_SCROLLSUPPORT
> # enable VGA raster mode capable of displaying multilingual text on console
> #options        VGA_RASTERCONSOLE
> # enable splash screen support; requires hw driver support
> #options        SPLASHSCREEN
> #options        SPLASHSCREEN_PROGRESS
>
> # Kernel root file system and dump configuration.
> config          netbsd  root on ? type ?
> #config         netbsd  root on sd0a type ffs
> #config         netbsd  root on ? type nfs
>
> #
> # Device configuration
> #
>
> mainbus0 at root
>
> cpu* at mainbus?
> ioapic* at mainbus?
>
> # Doesn't do anything yet.
> #p64h2apic* at pci? dev? function?      # P64H2 IOxAPIC
>
> #apm0   at mainbus0                     # Advanced power management
>
> # Tuning for power management, see apm(4) for more details.
> #options        APM_NO_IDLE             # Don't call BIOS CPU idle function
> #options        APM_V10_ONLY            # Use only the APM 1.0 calls
> #options        APM_NO_POWEROFF         # Don't power off on halt(8)
> #options        APM_POWER_PRINT         # Print stats on the console
> #options        APM_DISABLE_INTERRUPTS=0 # Don't disable interrupts
>
>
> # Basic Bus Support
>
> #IPMI support
> #ipmi0          at mainbus?
>
> # Advanced Configuration and Power Interface
>
> # This option can be used to retrieve CPU and APIC information.
> # that I/O APICs can be used if ACPI is enabled below.
> # To use the I/O APIC(s), enable the ioapic line above.
> #options        MPBIOS          # configure CPUs and APICs using MPBIOS
> #options        MPBIOS_SCANPCI  # find PCI roots using MPBIOS
> options         ACPI_SCANPCI    # find PCI roots using ACPI
>
> acpi0           at mainbus0
>
> #options        ACPI_ACTIVATE_DEV       # If set, activate inactive devices
> #options        ACPICA_PEDANTIC         # force strict conformance to
> the Spec.
>
> # ACPI devices
> apm*            at acpi?                # ACPI apm emulation
> acpiacad*       at acpi?                # ACPI AC Adapter
> acpibat*        at acpi?                # ACPI Battery
> acpibut*        at acpi?                # ACPI Button
> acpiec*         at acpi?                # ACPI Embedded Controller
> acpilid*        at acpi?                # ACPI Lid Switch
> acpitz*         at acpi?                # ACPI Thermal Zone
>
> # Mainboard devices
> aiboost*        at acpi?                # ASUS AI Booster Hardware Monitor
> attimer*        at acpi?                # AT Timer
> com*            at acpi?                # Serial communications interface
> #fdc*           at acpi?                # Floppy disk controller
> hpet*           at acpi?                # High Precision Event Timer
> joy*            at acpi?                # Joystick/Game port
> lpt*            at acpi?                # Parallel port
> mpu*            at acpi?                # Roland MPU-401 MIDI UART
> npx*            at acpi?                # Math coprocessor
> pckbc*          at acpi?                # PC keyboard controller
> pcppi*          at acpi?                # AT-style speaker sound
> ug*             at acpi?                # Abit uGuru Hardware monitor
> wss*            at acpi?                # NeoMagic 256AV in wss mode
> ym*             at acpi?                # Yamaha OPL3-SA[23] audio
>
> # Sony Vaio jog dial
> spic*           at acpi?                # Sony Programmable I/O Controller
> wsmouse*        at spic?
>
> # Sony LCD brightness etc.
> sony*           at acpi?                # Sony Miscellaneous Controller
>
> # Toshiba Libretto devices
> vald* at acpi?
>
> # Plug-and-Play BIOS and attached devices
>
> #pnpbios*       at mainbus?
>
> # mainboard audio chips
> #ess*           at pnpbios? index ?     # ESS AudioDrive
> #sb*            at pnpbios? index ?     # NeoMagic 256AV in sb mode
> #wss*           at pnpbios? index ?     # NeoMagic 256AV in wss mode
> #ym*            at pnpbios? index ?     # Yamaha OPL3-SA[23] audio
>
> # com port
> # If enabled, consider changing "com0", "com1", and "com2" under "ISA Serial
> # Interfaces" to "com*", otherwise com2 will attach at pnpbios? and there
> # will be no com0.  A side effect is pcmcia (and other) com? previously
> # starting at com3 may attach as com1 or com2.
> #com*           at pnpbios? index ?     # serial ports
>
> # parallel port
> # The above "com*" comments apply, cf. "lpt0" under "ISA parallel
> # "printer interfaces".
> #lpt*           at pnpbios? index ?     # parallel ports
>
> #pckbc*         at pnpbios? index ?     # PC keyboard/mouse controller
> #fdc*           at pnpbios? index ?     # floppy controller
> #npx*           at pnpbios? index ?     # Math coprocessor
>
> # IDE controller on Toshiba Portege 3000 series (crippled PCI device)
> #pciide*        at pnpbios? index ?
>
> # PCI bus support
> pci*    at mainbus? bus ?
> pci*    at pchb? bus ?
> pci*    at ppb? bus ?
>
> # Configure PCI using BIOS information
> #options        PCIBIOS                 # PCI BIOS support
> #options        PCIBIOSVERBOSE          # PCI BIOS verbose info
> #options        PCIBIOS_IRQS_HINT=0x0a00 # PCI interrupts hint. IRQ 9 or 11
> #options        PCIBIOS_INTR_GUESS      # see pcibios(4)
> #options        PCIBIOS_LIBRETTO_FIXUP  # this code makes the Toshiba
> Libretto
>                                         # L2/L3 work, but should not be
> enabled
>                                         # on anything else.
> #options        PCIBIOS_SHARP_MM20_FIXUP # this code makes the Sharp MM 20
>                                         # work, but should not be enabled
>                                         # on anything else.
> #options        PCIINTR_DEBUG           # super-verbose PCI interrupt fixup
>
> # PCI fixups, for both PCIBIOS and ACPI
> #options        PCI_ADDR_FIXUP          # fixup PCI I/O addresses
> #options        PCI_BUS_FIXUP           # fixup PCI bus numbering
> #options        PCI_INTR_FIXUP          # fixup PCI interrupt routing
>
> # System Controllers
> elansc* at pci? dev ? function ?        # AMD Elan SC520 System Controller
> gpio*   at elansc?
>
> # PCI bridges
> ichlpcib* at pci? dev ? function ?      # Intel ICH PCI-ISA w/ timecounter,
>                                         # watchdog and SpeedStep support
> #piixpcib* at pci? dev ? function ?     # Intel PIIX4 PCI-ISA w/ SpeedStep
> #gscpcib* at pci? dev ? function ?      # NS Geode PCI-ISA w/ GPIO support
> #viapcib* at pci? dev ? function ?      # VIA VT8235 PCI-ISA w/ SMBus
> support
> #iic*   at viapcib?
> pchb*   at pci? dev ? function ?        # PCI-Host bridges
> pceb*   at pci? dev ? function ?        # PCI-EISA bridges
> pcib*   at pci? dev ? function ?        # PCI-ISA bridges
> pcmb*   at pci? dev ? function ?        # PCI-MCA bridges
> ppb*    at pci? dev ? function ?        # PCI-PCI bridges
> # XXX 'puc's aren't really bridges, but there's no better place for them
> here
> puc*    at pci? dev ? function ?        # PCI "universal" comm. cards
>
> agp*    at pchb?
>
>
> # EISA bus support
> eisa0   at mainbus?
> eisa0   at pceb?
>
> # ISA bus support
> isa0    at ichlpcib?
> #isa0   at piixpcib?
> #isa0   at gscpcib?
> #isa0   at viapcib?
> isa0    at mainbus?
> isa0    at pceb?
> isa0    at pcib?
>
> # PCMCIA bus support
> pcmcia* at pcic? controller ? socket ?
> pcmcia* at tcic? controller ? socket ?
>
> # MCA bus support
> mca0    at mainbus?
>
> # ISA PCMCIA controllers
> pcic0   at isa? port 0x3e0 iomem 0xd0000 iosiz 0x10000
> pcic1   at isa? port 0x3e2 iomem 0xe0000 iosiz 0x4000
> pcic2   at isa? port 0x3e4 iomem 0xe0000 iosiz 0x4000
> tcic0   at isa? port 0x240 iomem 0xd0000 iosiz 0x10000
>
> # PCI PCMCIA controllers
> pcic0   at pci? dev? function ?
>
> # ISA Plug-and-Play bus support
> isapnp0 at isa?
>
> # ISA Plug-and-Play PCMCIA controllers
> pcic*   at isapnp?
>
> # CardBus bridge support
> cbb*            at pci? dev ? function ?
> cardslot*       at cbb?
>
> # CardBus bus support
> cardbus*        at cardslot?
> pcmcia*         at cardslot?
>
> # Coprocessor Support
>
> # Math Coprocessor support
> npx0    at isa? port 0xf0 irq 13        # x86 math coprocessor
> .....
>
> ================ some stats on machine ============
> CPU:    Intel? Pentium? 4 Processor 524 with HT Technology1
> (3.06GHz, 533MHz FSB, 1MB L2 cache)
> Chipset:        ATI Radeon? Xpress 200
> Memory:         512MB DDR2 (1 ? 512MB), 400MHz (PC3200)
> Expandable to 2GB
> Hard Drive:     160GB (7200rpm, 2MB cache)3
> Optical Drives:         16x multiformat dual-layer DVD?RW
> (Up to 8.5GB with dual-layer media)
> Write max: 16x DVD?R, 6x DVD-RW, 8x DVD+RW, 4x DVD+R DL, 40x CD-R, 24x CD-RW
> Read max: 16x DVD-ROM, 40x CD-ROM
> Media Reader:   9-in-1 Digital Media Manager? (Memory Stick?, Memory
> Stick Pro?, MultiMediaCard?, Secure Digital?,
> CompactFlash?, MicroDrive, SmartMedia, xD-Picture Card?, USB 2.0)
> Video:  ATI Radeon? Xpress 200 integrated graphics
> Up to 128MB of shared video memory
> PCI-Express? (PCI-E x16) slot available
> Sound:  6-channel (5.1) high-definition audio
> Network:        10/100Mbps integrated Ethernet LAN (RJ-45 port)
> Modem:  56K ITU V.92-ready fax/modem (RJ-11 port)
> Peripherals:    Standard multifunction keyboard, 2-button wheel mouse,
> amplified stereo speakers (USB powered)
> Ports/Other:    5 USB 2.0 (1 in front, 4 in back), VGA external
> connector, parallel port, serial port, 2 PS/2 ports
>  (keyboard and mouse), 5 audio ports (2 in front, 3 in back)
>
>
> ============== some of dmesg output ================
> Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
>     2006, 2007
>     The NetBSD Foundation, Inc.  All rights reserved.
> Copyright (c) 1982, 1986, 1989, 1991, 1993
>     The Regents of the University of California.  All rights reserved.
>
> NetBSD 4.99.31 (T5048) #1: Sun Oct 28 06:24:40 EST 2007
>         solomon@t5048:/usr/obj/sys/arch/i386/compile/T5048
> total memory = 445 MB
> rbus: rbus_min_start set to 0x40000000
> avail memory = 426 MB
> timecounter: Timecounters tick every 10.000 msec
> RTC BIOS diagnostic error 80<clock_battery>
> timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
> mainbus0 (root)
> cpu0 at mainbus0 apid 0: (boot processor)
> cpu0: Intel (686-class), 3000.35 MHz, id 0xf4a
> 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: features2 649d<SSE3,MONITOR,DS-CPL,EST,CID,xTPR>
> cpu0: features3 20100000<XD,EM64T>
> cpu0: "Intel(R) Pentium(R) 4 CPU 3.00GHz"
> cpu0: I-cache 12K uOp cache 8-way
> cpu0: L2 cache 2 MB 64B/line 8-way
> cpu0: ITLB 4K/4M: 64 entries
> cpu0: DTLB 4K/4M: 64 entries
> cpu0: using thermal monitor 1
> cpu0: calibrating local timer
> cpu0: apic clock running at 200 MHz
> cpu0: 64 page colors
> cpu1 at mainbus0 apid 1: (application processor)
> cpu1: not started
> ioapic0 at mainbus0 apid 4
> ioapic0: pa 0xfec00000, version 21, 24 pins
> ioapic0: misconfigured as apic 0
> ioapic0: remapped to apic 4
> acpi0 at mainbus0: Advanced Configuration and Power Interface
> acpi0: using Intel ACPI CA subsystem version 20060217
> acpi0: X/RSDT: OemId <INTEL ,D11020M ,0000043f>, AslId <MSFT,01000013>
> acpi0: SCI interrupting at int 9
> acpi0: fixed-feature power button present
> timecounter: Timecounter "ACPI-Fast" frequency 3579545 Hz quality 1000
> ACPI-Fast 32-bit timer
> mpacpi: could not get bus number, assuming bus 0
> CPU0 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
> CPU1 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
> CPU2 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
> CPU3 (ACPI Object Type 'Processor' [0x0c]) at acpi0 not configured
> acpibut0 at acpi0 (PWRB, PNP0C0C): ACPI Power Button
> PCI0 (PNP0A08) [PCI Express/PCI-X Mode-2 Host Bridge] at acpi0 not
> configured
> DMAC (PNP0200) [AT DMA Controller] at acpi0 not configured
> npx1 at acpi0 (COPR, PNP0C04)
> npx1: io 0xf0-0xfe irq 13
> npx1: reported by CPUID; using exception 16
> PIC (PNP0000) [AT Interrupt Controller] at acpi0 not configured
> RTC (PNP0B00) [AT Real-Time Clock] at acpi0 not configured
> pcppi1 at acpi0 (SPKR, PNP0800)
> pcppi1: io 0x61
> midi0 at pcppi1: PC speaker (CPU-intensive output)
> sysbeep0 at pcppi1
> attimer1 at acpi0 (TMR, PNP0100): AT Timer
> attimer1: io 0x40-0x43
> pckbc1 at acpi0 (KBC0, PNP0303): kbd port
> pckbc1: io 0x60,0x64 irq 1
> pckbc2 at acpi0 (PS2M, PNP0F13): aux port
> pckbc2: irq 12
> SYSR (PNP0C02) [Plug and Play motherboard register resources] at acpi0
> not configured
> MEM (PNP0C01) [System Board] at acpi0 not configured
> lpt3 at acpi0 (ECP1, PNP0401)
> lpt3: io 0x378-0x37f,0x778-0x77b irq 7 drq 4
> com3 at acpi0 (UAR1, PNP0501-1)
> com3: io 0x3f8-0x3ff irq 4
> com3: ns16550a, working fifo
> apm0 at acpi0: Power Management spec V1.2
> pcppi1: attached to attimer1
> 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
> pci0 at mainbus0 bus 0: configuration mode 1
> pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
> pchb0 at pci0 dev 0 function 0
> pchb0: ATI Technologies product 0x5a33 (rev. 0x01)
> ppb0 at pci0 dev 1 function 0: ATI Technologies RS480 PCI Express Bridge
> (rev. 0x00)
> pci1 at ppb0 bus 1
> pci1: i/o space, memory space enabled
> vga1 at pci1 dev 5 function 0: ATI Technologies product 0x5a61 (rev. 0x00)
> wsdisplay0 at vga1 kbdmux 1: console (80x25, vt100 emulation), using wskbd0
> wsmux1: connecting to wsdisplay0
> direct rendering for vga1 unsupported
> ixpide0 at pci0 dev 17 function 0
> ixpide0: ATI Technologies IXP IDE Controller (rev. 0x80)
> ixpide0: bus-master DMA support present
> ixpide0: primary channel configured to native-PCI mode
> ixpide0: using ioapic0 pin 23 (irq 10) for native-PCI interrupt
> atabus0 at ixpide0 channel 0
> ixpide0: secondary channel configured to native-PCI mode
> atabus1 at ixpide0 channel 1
> ixpide1 at pci0 dev 18 function 0
> ixpide1: ATI Technologies IXP IDE Controller (rev. 0x80)
> ixpide1: bus-master DMA support present
> ixpide1: primary channel configured to native-PCI mode
> ixpide1: using ioapic0 pin 22 (irq 9) for native-PCI interrupt
> atabus2 at ixpide1 channel 0
> ixpide1: secondary channel configured to native-PCI mode
> .....
>
You have got hyperthreading enabled in the BIOS; the kernel is not MP,
so it does not start the second "CPU".

-- 
/dev/random says:
	Did you expect mere proof to sway my opinion?
----------------------------------------------------------------
Chavdar Ivanov   | Talbot Way, Small Heath Business Park
Delcam UK        | Birmingham B10 0HJ, United Kingdom
Customer Support | (+44)121-6831014
----------------------------------------------------------------