diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2000-09-21 06:56:11 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2000-09-21 06:56:11 +0000 |
| commit | 1fe4c660dbe0a6aa14981919fbc2ec6ac07a0e56 (patch) | |
| tree | c647870b33e0899859d5edf649c90e51b7306dae | |
| parent | 0122d6f195f0df7060499831609b6132ef66e300 (diff) | |
Notes
| -rw-r--r-- | sys/conf/NOTES | 8 | ||||
| -rw-r--r-- | sys/i386/conf/NOTES | 8 |
2 files changed, 16 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 813845a4fe7b..35557330f5df 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -140,6 +140,14 @@ options NINTR=25 # number of INTs # do NOT properly support bridged PCI cards. To use one of these # cards you should refer to ??? +# SMP Debugging Options: +# +# SMP_DEBUG enables various extra assertions in the mutex code. +# WITNESS enables the mutex witness code which detects deadlocks and cycles +# during locking operations. +options SMP_DEBUG +options WITNESS + ##################################################################### # CPU OPTIONS diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index 813845a4fe7b..35557330f5df 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/conf/NOTES @@ -140,6 +140,14 @@ options NINTR=25 # number of INTs # do NOT properly support bridged PCI cards. To use one of these # cards you should refer to ??? +# SMP Debugging Options: +# +# SMP_DEBUG enables various extra assertions in the mutex code. +# WITNESS enables the mutex witness code which detects deadlocks and cycles +# during locking operations. +options SMP_DEBUG +options WITNESS + ##################################################################### # CPU OPTIONS |