diff options
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 1 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 9b9a2bcdf..9deef763c 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -3,6 +3,7 @@ include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC +option POOL_DEBUG option WITNESS option WITNESS_LOCKTRACE option WITNESS_WATCH diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 0bc73fe91..de3ecb118 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -3,3 +3,4 @@ include "arch/amd64/conf/GENERIC" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC +option POOL_DEBUG |