From 5b2ca5dad8dbac133c9e8bbb08435555f5786e18 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Fri, 13 Dec 2019 20:21:39 +0100 Subject: dashboard/config: enable KQUEUE_DEBUG on OpenBSD Recently introduced used to validate correctness of kqueue event lists. --- dashboard/config/openbsd-syzkaller.mp | 1 + dashboard/config/openbsd-syzkaller.sp | 1 + 2 files changed, 2 insertions(+) diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 2c442a3e0..fa49bc1ad 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -2,6 +2,7 @@ include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 +option KQUEUE_DEBUG option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH option VFSLCKDEBUG diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 6bbaed2b0..703c25931 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -2,6 +2,7 @@ include "arch/amd64/conf/GENERIC" pseudo-device kcov 1 +option KQUEUE_DEBUG option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH option VFSLCKDEBUG -- cgit mrf-deployment