Enable option WITNESS_SKIPSPIN by default.

This commit is contained in:
marcel 2008-02-16 17:59:27 +00:00
parent fecfa43afc
commit b871fc793c

View File

@ -69,6 +69,7 @@ options DDB #Support DDB
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
# To make an SMP kernel, the next line is needed
#options SMP # Symmetric MultiProcessor Kernel