PERFORCE change 30436 for review

[Juli Mallett]

http://perforce.freebsd.org/chv.cgi?CH=30436

Change 30436 by jmallett at jmallett_dalek on 2003/05/02 19:42:03

	Add witness, and invariants, now that we can build them.

Affected files ...

.. //depot/projects/mips/sys/mips/conf/GENERIC#13 edit

Differences ...

==== //depot/projects/mips/sys/mips/conf/GENERIC#13 (text+ko) ====

@@ -22,6 +22,13 @@
 options 	ARCBIOS64		#ARCBIOS uses 64-bit pointers in
 					#structures.  Disable for IP22.
 
+# Debugging for use in -current
+#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 	SCHED_4BSD		#A scheduler, if you please
 
 # Other options