diff options
| -rw-r--r-- | sys/conf/NOTES | 13 | ||||
| -rw-r--r-- | sys/conf/options | 1 | ||||
| -rw-r--r-- | sys/i386/conf/NOTES | 13 |
3 files changed, 27 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 diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index 1b3dc79..1d1d00a 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/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. |
