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

     1  include "arch/amd64/conf/GENERIC"
     2  
     3  options		DEBUG
     4  options		LOCKDEBUG
     5  
     6  makeoptions	KMSAN=1
     7  options		KMSAN
     8  no options	SVS
     9  no options	MODULAR
    10  no options	MODULAR_DEFAULT_AUTOLOAD
    11  options		POOL_NOCACHE
    12  options		KMSAN_PANIC
    13  
    14  makeoptions	KCOV=1
    15  options		KCOV
    16  
    17  options		FAULT
    18  
    19  pseudo-device	vhci
    20  usb*	at vhci?