diff options
| author | Alfred Perlstein <alfred@FreeBSD.org> | 2002-02-13 18:47:50 +0000 |
|---|---|---|
| committer | Alfred Perlstein <alfred@FreeBSD.org> | 2002-02-13 18:47:50 +0000 |
| commit | 5d8e6357791e9023577e1e0a48d769113a131ad2 (patch) | |
| tree | 758aa4cb781fa98f11e3f2e52eb7bcd9f61a035a | |
| parent | a59716d2d83c25a74b1077f6d28d9579b4407fd7 (diff) | |
Notes
| -rw-r--r-- | sys/amd64/conf/GENERIC | 3 | ||||
| -rw-r--r-- | sys/i386/conf/GENERIC | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC index 73853697fc6f..c6c98e171b72 100644 --- a/sys/amd64/conf/GENERIC +++ b/sys/amd64/conf/GENERIC @@ -59,7 +59,8 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev 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 #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 diff --git a/sys/i386/conf/GENERIC b/sys/i386/conf/GENERIC index 73853697fc6f..c6c98e171b72 100644 --- a/sys/i386/conf/GENERIC +++ b/sys/i386/conf/GENERIC @@ -59,7 +59,8 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev 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 #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 |