dashboard/config/openbsd-syzkaller.mp


1
2
3
4
5
6
7
8
9
10

include "arch/amd64/conf/GENERIC.MP"

pseudo-device kcov 1

option LOCKF_DIAGNOSTIC
option SPLASSERT_WATCH
option VFSLCKDEBUG
option WITNESS
option WITNESS_LOCKTRACE
option WITNESS_WATCH