aboutsummaryrefslogtreecommitdiff
path: root/sys/amd64/conf/GENERIC
diff options
context:
space:
mode:
authorWarner Losh <imp@FreeBSD.org>2007-10-26 02:35:42 +0000
committerWarner Losh <imp@FreeBSD.org>2007-10-26 02:35:42 +0000
commit47e87d5ad0424957bbe316a7a2edb58473bb905a (patch)
tree90351c4b16f398c0131e035b80d030e68755c9ca /sys/amd64/conf/GENERIC
parent97816f8e3d45e95671ab4c669631e8097dd1d71b (diff)
downloadsrc-47e87d5ad0424957bbe316a7a2edb58473bb905a.tar.gz
src-47e87d5ad0424957bbe316a7a2edb58473bb905a.zip
Ooops. Put back Invariants and witness
Submitted by: csjp
Notes
Notes: svn path=/head/; revision=172997
Diffstat (limited to 'sys/amd64/conf/GENERIC')
-rw-r--r--sys/amd64/conf/GENERIC8
1 files changed, 4 insertions, 4 deletions
diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC
index 44e1a8480925..b6af8687e7dc 100644
--- a/sys/amd64/conf/GENERIC
+++ b/sys/amd64/conf/GENERIC
@@ -67,10 +67,10 @@ options AUDIT # Security event auditing
options KDB # Enable kernel debugger support.
options DDB # Support DDB.
options GDB # Support remote GDB.
-# 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 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
# Make an SMP-capable kernel by default
options SMP # Symmetric MultiProcessor Kernel