diff options
author | eivind <eivind@FreeBSD.org> | 1999-01-08 17:31:30 +0000 |
---|---|---|
committer | eivind <eivind@FreeBSD.org> | 1999-01-08 17:31:30 +0000 |
commit | a8dc66f457be84eefbe16e70c901ceb11137ba65 (patch) | |
tree | e5747f527c552fa90334c779c047697b372582fb /sys/conf | |
parent | 1c69824749ed0aa6efce159d39ab3f17fc9e25f2 (diff) | |
download | FreeBSD-src-a8dc66f457be84eefbe16e70c901ceb11137ba65.zip FreeBSD-src-a8dc66f457be84eefbe16e70c901ceb11137ba65.tar.gz |
Split DIAGNOSTIC -> DIAGNOSTIC, INVARIANTS, and INVARIANT_SUPPORT as
discussed on -hackers.
Introduce 'KASSERT(assertion, ("panic message", args))' for simple
check + panic.
Reviewed by: msmith
Diffstat (limited to 'sys/conf')
-rw-r--r-- | sys/conf/NOTES | 22 | ||||
-rw-r--r-- | sys/conf/options | 8 |
2 files changed, 26 insertions, 4 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index dca3ca3..27f1cea 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.526 1999/01/01 08:09:57 peter Exp $ +# $Id: LINT,v 1.527 1999/01/08 16:04:18 eivind Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -291,12 +291,29 @@ options GDB_REMOTE_CHAT options KTRACE #kernel tracing # -# The DIAGNOSTIC option is used in a number of source files to enable +# The INVARIANTS option is used in a number of source files to enable # extra sanity checking of internal structures. This support is not # enabled by default because of the extra time it would take to check # for these conditions, which can only occur as a result of # programming errors. # +options INVARIANTS + +# +# The INVARIANT_SUPPORT option makes us compile in support for +# verifying some of the internal structures. It is a prerequisite for +# 'INVARIANTS', as enabling 'INVARIANTS' will make these functions be +# called. The intent is that you can set 'INVARIANTS' for single +# source files (by changing the source file or specifying it on the +# command line) if you have 'INVARIANT_SUPPORT' enabled. +# +options INVARIANT_SUPPORT + +# +# The DIAGNOSTIC option is used to enable extra debugging information +# from some parts of the kernel. As this makes everything more noisy, +# it is disabled by default. +# options DIAGNOSTIC # @@ -1867,6 +1884,7 @@ options SHMSEG=9 options SI_DEBUG options SIMPLELOCK_DEBUG options SPX_HACK +options VFS_BIO_DEBUG # The 'dpt' driver provides support for DPT controllers (http://www.dpt.com/). # These have hardware RAID-{0,1,5} support, and do multi-initiator I/O. diff --git a/sys/conf/options b/sys/conf/options index c9c76fd..8e593d9 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -1,4 +1,4 @@ -# $Id: options,v 1.112 1998/12/19 23:07:16 msmith Exp $ +# $Id: options,v 1.113 1998/12/28 16:31:26 peter Exp $ # # On the handling of kernel options # @@ -249,9 +249,13 @@ SI_DEBUG opt_debug_si.h # These cause changes all over the kernel DEBUG opt_global.h +DEBUG_VFS_LOCKS opt_global.h DIAGNOSTIC opt_global.h -SIMPLELOCK_DEBUG opt_global.h ENABLE_VFS_IOOPT opt_global.h +INVARIANT_SUPPORT opt_global.h +INVARIANTS opt_global.h +SIMPLELOCK_DEBUG opt_global.h +VFS_BIO_DEBUG opt_global.h # These are VM related options VM_KMEM_SIZE opt_vm.h |