svn commit: r239097 - user/jceel/soc2012_armv6/sys/arm/conf

[Jakub Wojciech Klama]

Author: jceel
Date: Mon Aug  6 17:00:29 2012
New Revision: 239097
URL: http://svn.freebsd.org/changeset/base/239097

Log:
  Enable INVARIANTS, WITNESS and DIAGNOSTIC on Pandaboard by default.

Modified:
  user/jceel/soc2012_armv6/sys/arm/conf/PANDABOARD

Modified: user/jceel/soc2012_armv6/sys/arm/conf/PANDABOARD
==============================================================================
--- user/jceel/soc2012_armv6/sys/arm/conf/PANDABOARD	Mon Aug  6 16:55:01 2012	(r239096)
+++ user/jceel/soc2012_armv6/sys/arm/conf/PANDABOARD	Mon Aug  6 17:00:29 2012	(r239097)
@@ -101,11 +101,11 @@ device		pl310			#  PL310 L2 cache contro
 #options		VERBOSE_SYSINIT		#Enable verbose sysinit messages
 options 	KDB
 options 	DDB			#Enable the kernel debugger
-#options 	INVARIANTS		#Enable calls of extra sanity checking
-#options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
-#options 	WITNESS			#Enable checks to detect deadlocks and cycles
-#options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
-#options 	DIAGNOSTIC
+options 	INVARIANTS		#Enable calls of extra sanity checking
+options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
+options 	WITNESS			#Enable checks to detect deadlocks and cycles
+options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
+options 	DIAGNOSTIC
 
 device		md