diff --git a/sys/arch/evbarm/conf/INTEGRATOR b/sys/arch/evbarm/conf/INTEGRATOR
index b975668e2263..c98964d84c6f 100644
--- a/sys/arch/evbarm/conf/INTEGRATOR
+++ b/sys/arch/evbarm/conf/INTEGRATOR
@@ -1,4 +1,4 @@
-#	$NetBSD: INTEGRATOR,v 1.36 2005/02/25 13:46:49 simonb Exp $
+#	$NetBSD: INTEGRATOR,v 1.37 2005/06/03 15:41:39 rearnsha Exp $
 #
 #	GENERIC -- ARM Integrator board Generic kernel
 #
@@ -133,12 +133,14 @@ options 	USERCONF	# userconf(4) support
 
 #options 	ARM700BUGTRACK	# track the ARM700 swi bug
 #options 	PORTMASTER	# Enable PortMaster only options
-options 	DIAGNOSTIC	# internal consistency checks
-options 	PMAP_DEBUG	# Enable pmap_debug_level code
+#options 	DIAGNOSTIC	# internal consistency checks
+#options 	PMAP_DEBUG	# Enable pmap_debug_level code
 #options 	IPKDB		# remote kernel debugging
 options 	DDB		# in-kernel debugger
 options 	DDB_HISTORY_SIZE=100	# Enable history editing in DDB
+#options 	UVMHIST
 #makeoptions	DEBUG="-g"	# compile full symbol table
+options 	SYMTAB_SPACE=350000
 options 	PLCONSOLE,PLCOMCNUNIT=0,PLCONSPEED=38400,PLCONMODE=0xB00
 
 config		netbsd		root on ? type ?