github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/dashboard/config/openbsd/mp (about)

     1  include "arch/amd64/conf/GENERIC.MP"
     2  
     3  pseudo-device kcov 1
     4  
     5  option KQUEUE_DEBUG
     6  option SPLASSERT_WATCH
     7  option VFSLCKDEBUG
     8  option WITNESS
     9  option WITNESS_LOCKTRACE
    10  option WITNESS_WATCH