From 8865448db04459286ff51b734aa72af49117fd3f Mon Sep 17 00:00:00 2001 From: Jeff Roberson Date: Thu, 13 Nov 2003 02:04:34 +0000 Subject: [PATCH] - 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. --- sys/alpha/conf/GENERIC | 1 + 1 file changed, 1 insertion(+) diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC index 2dfc615a5c7..411e34c5a08 100644 --- a/sys/alpha/conf/GENERIC +++ b/sys/alpha/conf/GENERIC @@ -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