[FUG-BR] Pentium 4 HT Não reconhece segunda CPU

[Patrick Tracanelli]

> Patrick,
> Seria pedir demais para você passar o kernel para lista?

Opa, sem problemas. Segue no corpo desta.

machine		i386
cpu		I686_CPU
ident		XXX
maxusers	815

options 	SCHED_ULE		#4BSD scheduler
options 	INET			#InterNETworking
options 	FFS			#Berkeley Fast Filesystem
options 	SOFTUPDATES		#Enable FFS soft updates support
options 	UFS_ACL			#Support for access control lists
options 	UFS_DIRHASH		#Improve performance on big directories
options 	MD_ROOT			#MD is a potential root device
options 	NFSCLIENT		#Network Filesystem Client
options 	NFSSERVER		#Network Filesystem Server
options 	NFS_ROOT		#NFS usable as /, requires NFSCLIENT
options 	MSDOSFS			#MSDOS Filesystem
options 	CD9660			#ISO 9660 Filesystem
options 	PROCFS			#Process filesystem (requires PSEUDOFS)
options 	PSEUDOFS		#Pseudo-filesystem framework
options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
options 	COMPAT_FREEBSD4		#Compatible with FreeBSD4
options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI
options 	KTRACE			#ktrace(1) support
options 	SYSVSHM			#SYSV-style shared memory
options 	SYSVMSG			#SYSV-style message queues
options 	SYSVSEM			#SYSV-style semaphores
options 	_KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
options 	KBD_INSTALL_CDEV	# install a CDEV entry in /dev
options 	AHC_REG_PRETTY_PRINT	# Print register bitfields in debug
					# output.  Adds ~128k to driver.
options 	AHD_REG_PRETTY_PRINT	# Print register bitfields in debug
					# output.  Adds ~215k to driver.
options		EXT2FS

options 	SMP			# Symmetric MultiProcessor Kernel
device		apic			# I/O APIC

device		isa
device		pci

device		fdc

device		ata
device		atadisk			# ATA disk drives
device		ataraid			# ATA RAID drives
device		atapicd			# ATAPI CDROM drives
device		atapifd			# ATAPI floppy drives
device		atapist			# ATAPI tape drives
options 	ATA_STATIC_ID		#Static device numbering

# atkbdc0 controls both the keyboard and the PS/2 mouse
device		atkbdc		# AT keyboard controller
device		atkbd		# AT keyboard
device		psm		# PS/2 mouse

device		vga		# VGA video card driver

device		sc

device		npx

# Serial (COM) ports
device		sio		# 8250, 16[45]50 based serial ports

device		ppc
device		ppbus		# Parallel port bus (required)

device		em

device		miibus		# MII bus support
device		fxp		# Intel EtherExpress PRO/100B (82557, 82558)
device		xl		# 3Com 3c90x (``Boomerang'', ``Cyclone'')

device		ed		# NE[12]000, SMC Ultra, 3c503, DS8390 cards

device		random		# Entropy device
device		loop		# Network loopback
device          mem             # Memory and kernel memory devices
device          io              # I/O device
device		ether		# Ethernet support
device		random
device		pty		# Pseudo-ttys (telnet etc)
device		md		# Memory "disks"

device		bpf

options         IPFIREWALL
options         IPFIREWALL_VERBOSE
options         IPFIREWALL_VERBOSE_LIMIT=500
options         IPFIREWALL_DEFAULT_TO_ACCEPT
options         IPFIREWALL_FORWARD

options		HZ=1200 # granularidade de 83.33 (dizima)
options         INCLUDE_CONFIG_FILE
options         IPSTEALTH

options         SC_DISABLE_REBOOT

options         PANIC_REBOOT_WAIT_TIME=60

options         VM_KMEM_SIZE_MAX=419430400

#options	KVA_PAGES=260 # definindo via loader MIB, manter comentado
options         VM_KMEM_SIZE_MAX=510930944
options         PMAP_SHPGPERPROC=500

-- 
Patrick Tracanelli

FreeBSD Brasil LTDA.
(31) 3281-9633 / 3281-3547
316601 em sip.freebsdbrasil.com.br
http://www.freebsdbrasil.com.br
"Long live Hanin Elias, Kim Deal!"