We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 59136

SDK 2013.3 - System Debugger breakpoints are not getting registered


This issue can happen in a Vivado 2013.3 Xilkernel design that is using the interrupt controller.

If I set breakpoints in the xmk_add_static_thread, then run the debugger with Launch on the hardware (System Debugger), breakpoints set in this thread are not triggered.

GPIOs written from within this thread do not have any effect, and the thread never seems to start.


This issue is fixed in SDK 2013.4.

For SDK 2013.3, you can work around the problem in GDB by using Run As (Launch on Hardware (GDB).

If you need to use SDK 2013.3 and System debugger, you can do the following:

  1. Install Vivado 2013.4.
  2. Run hw_server from the 2013.4 Vivado shell:
    hw_server s tcp::3122
  3. Open SDK 2013.3 > Xilinx Tools > Config JTAG Settings and then select the port as shown in the following screenshot:

    Configure JTAG Settings
    Configure JTAG Settings

    This will now target the new HW_SERVER.

AR# 59136
Date 09/17/2014
Status Active
Type General Article
  • Vivado Design Suite - 2013.3
  • Interrupt Control
  • Processing System 7
  • Microblaze
Page Bookmarked