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