dashboard/config: enable SPLASSERT_WATCH on OpenBSD

Makes interrupt priority level assertions fatal.
This commit is contained in:
Anton Lindqvist 2019-05-08 08:08:02 +02:00
parent 98ec0fac71
commit 1ab4c99920
2 changed files with 2 additions and 0 deletions

View File

@ -3,6 +3,7 @@ include "arch/amd64/conf/GENERIC.MP"
pseudo-device kcov 1
option LOCKF_DIAGNOSTIC
option SPLASSERT_WATCH
option WITNESS
option WITNESS_LOCKTRACE
option WITNESS_WATCH

View File

@ -3,3 +3,4 @@ include "arch/amd64/conf/GENERIC"
pseudo-device kcov 1
option LOCKF_DIAGNOSTIC
option SPLASSERT_WATCH