diff options
| author | Jeff Roberson <jeff@FreeBSD.org> | 2003-11-13 02:04:34 +0000 |
|---|---|---|
| committer | Jeff Roberson <jeff@FreeBSD.org> | 2003-11-13 02:04:34 +0000 |
| commit | 8865448db04459286ff51b734aa72af49117fd3f (patch) | |
| tree | df8df53d774102541bf49727102c001a667affee /sys/alpha | |
| parent | 16d6c90f5d38e5a5edea2fe9f8de36d26daced93 (diff) | |
Notes
Diffstat (limited to 'sys/alpha')
| -rw-r--r-- | sys/alpha/conf/GENERIC | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC index 2dfc615a5c7e..411e34c5a083 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 |