From owner-svn-src-user@FreeBSD.ORG  Mon Aug  6 17:00:30 2012
Return-Path: <owner-svn-src-user@FreeBSD.ORG>
Delivered-To: svn-src-user@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 3EFA7106566B;
	Mon,  6 Aug 2012 17:00:30 +0000 (UTC)
	(envelope-from jceel@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:4f8:fff6::2c])
	by mx1.freebsd.org (Postfix) with ESMTP id 29F4B8FC0A;
	Mon,  6 Aug 2012 17:00:30 +0000 (UTC)
Received: from svn.freebsd.org (localhost [127.0.0.1])
	by svn.freebsd.org (8.14.4/8.14.4) with ESMTP id q76H0UnL060646;
	Mon, 6 Aug 2012 17:00:30 GMT (envelope-from jceel@svn.freebsd.org)
Received: (from jceel@localhost)
	by svn.freebsd.org (8.14.4/8.14.4/Submit) id q76H0TVs060644;
	Mon, 6 Aug 2012 17:00:29 GMT (envelope-from jceel@svn.freebsd.org)
Message-Id: <201208061700.q76H0TVs060644@svn.freebsd.org>
From: Jakub Wojciech Klama <jceel@FreeBSD.org>
Date: Mon, 6 Aug 2012 17:00:29 +0000 (UTC)
To: src-committers@freebsd.org, svn-src-user@freebsd.org
X-SVN-Group: user
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Cc: 
Subject: svn commit: r239097 - user/jceel/soc2012_armv6/sys/arm/conf
X-BeenThere: svn-src-user@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "SVN commit messages for the experimental &quot; user&quot;
	src tree" <svn-src-user.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-user>,
	<mailto:svn-src-user-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-user>
List-Post: <mailto:svn-src-user@freebsd.org>
List-Help: <mailto:svn-src-user-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-user>,
	<mailto:svn-src-user-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 06 Aug 2012 17:00:30 -0000

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