diff options
| author | Yoshihiro Takahashi <nyan@FreeBSD.org> | 2002-02-16 13:13:22 +0000 |
|---|---|---|
| committer | Yoshihiro Takahashi <nyan@FreeBSD.org> | 2002-02-16 13:13:22 +0000 |
| commit | 911eb59369f28622c6e1ac7713b8adeac1c7fd39 (patch) | |
| tree | 23ed8c20ce9fdab5f1970f93536c5d2d6e5cd0c0 | |
| parent | 35c1f5912319a4158d9269f54782154c8ac5ffa6 (diff) | |
Notes
| -rw-r--r-- | sys/pc98/conf/GENERIC | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/pc98/conf/GENERIC b/sys/pc98/conf/GENERIC index f2b2b1d8d4c8..479a79a7198e 100644 --- a/sys/pc98/conf/GENERIC +++ b/sys/pc98/conf/GENERIC @@ -66,6 +66,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 mutex checks to detects deadlocks and cycles +options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed # To make an SMP kernel, the next two are needed #options SMP # Symmetric MultiProcessor Kernel |