include "arch/amd64/conf/GENERIC"

options		DEBUG
options		LOCKDEBUG

makeoptions	KMSAN=1
options		KMSAN
no options	SVS
no options	MODULAR
no options	MODULAR_DEFAULT_AUTOLOAD
options		POOL_NOCACHE
options		KMSAN_PANIC

makeoptions	KCOV=1
options		KCOV

options		FAULT

pseudo-device	vhci
usb*	at vhci?