diff options
| -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 |