summaryrefslogtreecommitdiff
path: root/sys/arch/i386/conf/LOCKDOC
diff options
context:
space:
mode:
authorMerlin Scholz <merlin@scholz.ruhr>2022-10-17 18:23:56 +0200
committerMerlin Scholz <merlin@scholz.ruhr>2022-10-17 18:23:56 +0200
commit1df0d21d448db8d42144dbf29f840ea4751fcc7e (patch)
treeec6739a9de81c7c209430db88befa300d6b63cfe /sys/arch/i386/conf/LOCKDOC
parent2d00993316006b2e9d981c9131130cb9927e5fe4 (diff)
Port over code skeleton
Diffstat (limited to 'sys/arch/i386/conf/LOCKDOC')
-rw-r--r--sys/arch/i386/conf/LOCKDOC12
1 files changed, 6 insertions, 6 deletions
diff --git a/sys/arch/i386/conf/LOCKDOC b/sys/arch/i386/conf/LOCKDOC
index a5f8b4c5ce9..955fa29fec2 100644
--- a/sys/arch/i386/conf/LOCKDOC
+++ b/sys/arch/i386/conf/LOCKDOC
@@ -111,21 +111,21 @@ options BUFQ_PRIOCSCAN
# Diagnostic/debugging support options
#options DIAGNOSTIC # inexpensive kernel consistency checks
# XXX to be commented out on release branch
-#options DEBUG # expensive debugging checks/support
-#options LOCKDEBUG # expensive locking checks/support
-options DDB # in-kernel debugger
+options DEBUG # expensive debugging checks/support
+options LOCKDEBUG # expensive locking checks/support. Also triggers LOCKDOC experiments
+#options DDB # in-kernel debugger
#options DDB_ONPANIC=1 # see also sysctl(7): `ddb.onpanic'
-options DDB_HISTORY_SIZE=512 # enable history editing in DDB
+#options DDB_HISTORY_SIZE=512 # enable history editing in DDB
#options DDB_VERBOSE_HELP
#options KGDB # remote debugger
#options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600
-#makeoptions DEBUG="-g" # compile full symbol table
+makeoptions DEBUG="-g" # compile full symbol table
#options KUBSAN # Kernel Undefined Behavior Sanitizer (kUBSan)
#options UBSAN_ALWAYS_FATAL # (optional) Panic on all kUBSan reports
#options SYSCALL_STATS # per syscall counts
#options SYSCALL_TIMES # per syscall times
#options SYSCALL_TIMES_HASCOUNTER # use 'broken' rdtsc (soekris)
-options KDTRACE_HOOKS # kernel DTrace hooks
+#options KDTRACE_HOOKS # kernel DTrace hooks
# Kernel Code Coverage Driver.
makeoptions KCOV=1