diff options
| author | marcel <marcel@FreeBSD.org> | 2008-02-16 17:59:27 +0000 |
|---|---|---|
| committer | marcel <marcel@FreeBSD.org> | 2008-02-16 17:59:27 +0000 |
| commit | b871fc793c9fdaeaed33c95e35535e96d5dbd251 (patch) | |
| tree | 8e39afd3d819edc8da8f455ca72184def2173477 | |
| parent | fecfa43afc22d3875cb70f05f199daa11784acf5 (diff) | |
| download | FreeBSD-src-b871fc793c9fdaeaed33c95e35535e96d5dbd251.zip FreeBSD-src-b871fc793c9fdaeaed33c95e35535e96d5dbd251.tar.gz | |
Enable option WITNESS_SKIPSPIN by default.
| -rw-r--r-- | sys/powerpc/conf/GENERIC | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/powerpc/conf/GENERIC b/sys/powerpc/conf/GENERIC index 80f6c81..50f22ab 100644 --- a/sys/powerpc/conf/GENERIC +++ b/sys/powerpc/conf/GENERIC @@ -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 |
