github.com/google/syzkaller@v0.0.0-20251211124644-a066d2bc4b02/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