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

     1  include "arch/amd64/conf/GENERIC"
     2  
     3  options		DEBUG
     4  options		LOCKDEBUG
     5  
     6  options		KUBSAN
     7  options		UBSAN_ALWAYS_FATAL
     8  
     9  makeoptions	KCOV=1
    10  options		KCOV
    11  
    12  options		FAULT
    13  
    14  pseudo-device	vhci
    15  usb*	at vhci?