if JTAG_VPI
DRIVERFILES += %D%/jtag_vpi.c
endif
+if VDEBUG
+DRIVERFILES += %D%/vdebug.c
+endif
if JTAG_DPI
DRIVERFILES += %D%/jtag_dpi.c
endif
if XDS110
DRIVERFILES += %D%/xds110.c
endif
+if AM335XGPIO
+DRIVERFILES += %D%/am335xgpio.c
+endif
DRIVERHEADERS = \
%D%/bitbang.h \