Date: Mon, 6 Aug 2012 17:00:29 +0000 (UTC) From: Jakub Wojciech Klama <jceel@FreeBSD.org> To: src-committers@freebsd.org, svn-src-user@freebsd.org Subject: svn commit: r239097 - user/jceel/soc2012_armv6/sys/arm/conf Message-ID: <201208061700.q76H0TVs060644@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201208061700.q76H0TVs060644>