vscode-gdb-openocd-example Debug configuration example for Visual Studio Code based on OpenOCD and GDB server