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