diff options
| author | Mark Johnston <markj@FreeBSD.org> | 2019-04-22 11:31:13 +0000 |
|---|---|---|
| committer | Mark Johnston <markj@FreeBSD.org> | 2019-04-22 11:31:13 +0000 |
| commit | 94851f378834b8a215e13d35d9ed4e063be9dd43 (patch) | |
| tree | 8348a3817361611ee16e0e775d8f7c8aa577b0b7 | |
| parent | c4e5de7e750e83ed1f8a0c494ec6e64faa5b107c (diff) | |
| download | src-94851f378834b8a215e13d35d9ed4e063be9dd43.tar.gz src-94851f378834b8a215e13d35d9ed4e063be9dd43.zip | |
Clarify the relationship between INVARIANTS and DIAGNOSTIC a bit.
MFC after: 1 week
Sponsored by: The FreeBSD Foundation
Notes
Notes:
svn path=/head/; revision=346544
| -rw-r--r-- | sys/conf/NOTES | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 265bb50e3332..28485f60f9a1 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -563,8 +563,10 @@ options KASSERT_PANIC_OPTIONAL # # 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. +# and invariants checking. The added checks are too expensive or noisy +# for an INVARIANTS kernel and thus are disabled by default. It is +# expected that a kernel configured with DIAGNOSTIC will also have the +# INVARIANTS option enabled. # options DIAGNOSTIC |