From owner-p4-projects@FreeBSD.ORG  Fri May  2 19:42:52 2003
Return-Path: <owner-p4-projects@FreeBSD.ORG>
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id 29B0237B404; Fri,  2 May 2003 19:42:52 -0700 (PDT)
Delivered-To: perforce@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id BA6CC37B401
	for <perforce@freebsd.org>; Fri,  2 May 2003 19:42:51 -0700 (PDT)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 662BA43FA3
	for <perforce@freebsd.org>; Fri,  2 May 2003 19:42:51 -0700 (PDT)
	(envelope-from jmallett@freebsd.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.12.6/8.12.6) with ESMTP id h432gp0U072315
	for <perforce@freebsd.org>; Fri, 2 May 2003 19:42:51 -0700 (PDT)
	(envelope-from jmallett@freebsd.org)
Received: (from perforce@localhost)
	by repoman.freebsd.org (8.12.6/8.12.6/Submit) id h432goDI072312
	for perforce@freebsd.org; Fri, 2 May 2003 19:42:50 -0700 (PDT)
Date: Fri, 2 May 2003 19:42:50 -0700 (PDT)
Message-Id: <200305030242.h432goDI072312@repoman.freebsd.org>
X-Authentication-Warning: repoman.freebsd.org: perforce set sender to
	jmallett@freebsd.org using -f
From: Juli Mallett <jmallett@FreeBSD.org>
To: Perforce Change Reviews <perforce@freebsd.org>
Subject: PERFORCE change 30436 for review
X-BeenThere: p4-projects@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: p4 projects tree changes <p4-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/p4-projects>
List-Post: <mailto:p4-projects@freebsd.org>
List-Help: <mailto:p4-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 03 May 2003 02:42:53 -0000

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

Change 30436 by jmallett@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