vkernel config

[Francois Tigeot]

On Wed, Aug 29, 2007 at 05:52:12PM -0400, Peter Avalos wrote:
> I was wondering what people thought about the attached patch for our
> vkernel config file.  I've removed some config options that do not
> make sense for a vkernel, and I've made SMP the default.
> 
> Index: VKERNEL
> ===================================================================
> RCS file: /home/dcvs/src/sys/config/VKERNEL,v
> retrieving revision 1.11
> -#options	BRIDGE
> -#options 	MATH_EMULATE		#Support for x87 emulation
> -options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI
> -#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 	SMP			# Symmetric MultiProcessor Kernel
> -#options 	APIC_IO			# Symmetric (APIC) I/O
> +options 	SMP			# Symmetric MultiProcessor Kernel

Seems like a good idea.

I am using a similar configuration in production locally. Everything is
working well so far.

-- 
Francois Tigeot