aboutsummaryrefslogtreecommitdiff
path: root/sys/amd64
diff options
context:
space:
mode:
Diffstat (limited to 'sys/amd64')
-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