d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Ooops. Put back Invariants and witness

Browse Source 
Submitted by: csjp
This commit is contained in:
imp 2007-10-26 02:35:42 +00:00
parent 49831563eb
commit 6349ab663a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
sys/amd64/conf/GENERIC
View File

@ -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