#if BUILD_JTAG_VPI == 1
extern struct adapter_driver jtag_vpi_adapter_driver;
#endif
+#if BUILD_VDEBUG == 1
+extern struct adapter_driver vdebug_adapter_driver;
+#endif
#if BUILD_JTAG_DPI == 1
extern struct adapter_driver jtag_dpi_adapter_driver;
#endif
#if BUILD_JTAG_VPI == 1
&jtag_vpi_adapter_driver,
#endif
+#if BUILD_VDEBUG == 1
+ &vdebug_adapter_driver,
+#endif
#if BUILD_JTAG_DPI == 1
&jtag_dpi_adapter_driver,
#endif