diff options
author | gjb <gjb@FreeBSD.org> | 2016-07-10 17:16:56 +0000 |
---|---|---|
committer | gjb <gjb@FreeBSD.org> | 2016-07-10 17:16:56 +0000 |
commit | 61c45f00da573053707c5dda0c2edf8fc7e2bcb3 (patch) | |
tree | 59c834617dc89071d8d3429d1b5bbbdb79e6b044 | |
parent | c74c217ff2cfd5b624ac2c469c384949399b7494 (diff) | |
download | FreeBSD-src-61c45f00da573053707c5dda0c2edf8fc7e2bcb3.zip FreeBSD-src-61c45f00da573053707c5dda0c2edf8fc7e2bcb3.tar.gz |
Turn off WITNESS, INVARIANTS, etc., in the powerpc GENERIC64
kernel configuration, missed after the stable/11 branch.
Approved by: re (kib)
PR: 210974
Sponsored by: The FreeBSD Foundation
-rw-r--r-- | sys/powerpc/conf/GENERIC64 | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/sys/powerpc/conf/GENERIC64 b/sys/powerpc/conf/GENERIC64 index 88d4811..4651876 100644 --- a/sys/powerpc/conf/GENERIC64 +++ b/sys/powerpc/conf/GENERIC64 @@ -82,14 +82,6 @@ options INCLUDE_CONFIG_FILE # Include this file in kernel # Debugging support. Always need this: options KDB # Enable kernel debugger support. options KDB_TRACE # Print a stack trace for a panic. -# For full debugger support use (turn off in stable branch): -options DDB #Support DDB -#options DEADLKRES #Enable the deadlock resolver -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 -options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones # Make an SMP-capable kernel by default options SMP # Symmetric MultiProcessor Kernel |