- Add the WITNESS_SKIPSPIN option to the GENERIC kernel so that users who

enable WITNESS on alphas will not get the expensive spin lock checking by
   default.  This mirrors the default config settings for i386.
This commit is contained in:
Jeff Roberson 2003-11-13 02:04:34 +00:00
parent 16d6c90f5d
commit 8865448db0

View file

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