DebuggingBouffaloLabChipsWithGDBForWindows

How to debug the DVK light development board via CKLink:

1. Connect to the PC via USB.

GPIO 1   TCK

GPIO 3   TDI

GPIO 2   TDO

GPIO 0   TMS

2. Perform GDB debugging.

Windows environments are also supported, but the setup is more complicated. We strongly recommend using the Ubuntu development environment. If you choose to use a Windows environment:

• 2.1 debugserver

Debugserver can be used in a Windows environment. For details, please refer to the compressed package and the following two links:

https://www.xrvm.cn/document?temp=install-t-head-debugserver-and-ice-drivers&slug=t-head-debug-server-user-manual

https://www.xrvm.cn/document?temp=main-interface-menu-toolbar-introduction&slug=t-head-debug-server-user-manual

• 2.2 gdb

For GDB, I recommend installing Ubuntu under WSL.

riscv64-unknown-elf-gdb *.elf