diff options
| author | jeff <jeff@FreeBSD.org> | 2003-11-13 02:04:34 +0000 |
|---|---|---|
| committer | jeff <jeff@FreeBSD.org> | 2003-11-13 02:04:34 +0000 |
| commit | 74c3cceedfe612317e5f7c60c46fd135737a7a09 (patch) | |
| tree | df8df53d774102541bf49727102c001a667affee /sys/alpha | |
| parent | c864ff579247acf8bdc23a4bc7ac60e2a9513423 (diff) | |
| download | FreeBSD-src-74c3cceedfe612317e5f7c60c46fd135737a7a09.zip FreeBSD-src-74c3cceedfe612317e5f7c60c46fd135737a7a09.tar.gz | |
- 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.
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 2dfc615..411e34c 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 |
