• Fix: Gdb debug failed in builds of the past 30 days
• note: Gdb uses localhost:3333 by default
• Add: Optional Gdb debug property to control connection (ie: tools.gdb.tcp=localhost:4444):- tools.gdb.tcp=

Reminder of gdb board.txt/platform.txt config properties

#board specific
[board_id].build.openocdscript=board/[board openocd].cfg

# platform general
debug.tool=gdb

tools.gdb.pre_init.tool=openocd
tools.gdb.cmd=arm-none-eabi-gdb.exe
tools.gdb.path={runtime.tools.arm-none-eabi-gcc.path}/bin
tools.gdb.pattern="{path}/{cmd}" -interpreter=mi -d "{build.project_path}"

tools.gdb.openocd.cmd=bin/openocd.exe
.0
tools.gdb.openocd.params.verbose=-d2
tools.gdb.openocd.params.quiet=-d0
tools.gdb.openocd.pattern="{path}/{cmd}" -s "{path}/scripts/" -f "{path}/scripts/{build.openocdscript}"