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

     1  include "arch/amd64/conf/GENERIC"
     2  
     3  pseudo-device kcov 1
     4  
     5  option KQUEUE_DEBUG
     6  option SPLASSERT_WATCH
     7  option VFSLCKDEBUG