查看“︁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

[[文件:BL616DVK Light CKLinkLite.jpg| 600像素 | BL616DVKLight_CKLinkLite]]

==== 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. 
 <code>riscv64-unknown-elf-gdb *.elf</code>