diff options
| author | Merlin Scholz <merlin@scholz.ruhr> | 2022-10-24 18:12:12 +0200 |
|---|---|---|
| committer | Merlin Scholz <merlin@scholz.ruhr> | 2022-10-24 18:12:12 +0200 |
| commit | cf5c8dfb6911fa82cbd8596472b8c1bfae20a973 (patch) | |
| tree | 8e17c3abb8463b1e4d1c1bafb4bff43a00616cf0 /sys/arch/i386/conf/LOCKDOC | |
| parent | 581d0d2125d0ef0541b12dc9ce81deb40aa4b79b (diff) | |
Separate LOCKDEBUG and LOCKDOG kernel flags
Diffstat (limited to 'sys/arch/i386/conf/LOCKDOC')
| -rw-r--r-- | sys/arch/i386/conf/LOCKDOC | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/arch/i386/conf/LOCKDOC b/sys/arch/i386/conf/LOCKDOC index d7d2d0f7efe..7920a133061 100644 --- a/sys/arch/i386/conf/LOCKDOC +++ b/sys/arch/i386/conf/LOCKDOC @@ -113,6 +113,8 @@ options BUFQ_PRIOCSCAN # XXX to be commented out on release branch options DEBUG # expensive debugging checks/support options LOCKDEBUG # expensive locking checks/support. Also triggers LOCKDOC experiments +makeoptions LOCKDOC=1 +options LOCKDOC #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 |
