diff options
| author | jhb <jhb@FreeBSD.org> | 2001-02-24 19:03:18 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2001-02-24 19:03:18 +0000 |
| commit | 5d3e0ff7619a01b7da51b1f28a47c7092db26f73 (patch) | |
| tree | afba234dc6b8019d037739faa60e8a1db4c237a9 /sys/conf | |
| parent | 42e415221870b36374bb8d0f38b9054b35839ee3 (diff) | |
| download | FreeBSD-src-5d3e0ff7619a01b7da51b1f28a47c7092db26f73.zip FreeBSD-src-5d3e0ff7619a01b7da51b1f28a47c7092db26f73.tar.gz | |
Add back in INVARIANT_SUPPORT and expand the comments in NOTES about it
to include the reasoning Eivind justifiably thwapped me over the head with.
Diffstat (limited to 'sys/conf')
| -rw-r--r-- | sys/conf/NOTES | 13 | ||||
| -rw-r--r-- | sys/conf/options | 1 |
2 files changed, 14 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 1b3dc79..1d1d00a 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -354,6 +354,19 @@ options KTR_VERBOSE 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. Also, if you +# wish to build a kernel module with 'INVARIANTS', then adding +# 'INVARIANT_SUPPORT' to your kernel will provide all the necessary +# infrastructure without the added overhead. +# +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. diff --git a/sys/conf/options b/sys/conf/options index 5df2902..1ec67d6 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -360,6 +360,7 @@ DEBUG_LOCKS opt_global.h DEBUG_VFS_LOCKS opt_global.h DIAGNOSTIC 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 |
