Openocd GDB 服务器配置

Openocd GDB server configuration

我正在使用 Openocd 通过 Raspberry pi 为 STM32 远程调试我的代码,如本教程中所述:https://learn.adafruit.com/programming-microcontrollers-using-openocd-on-raspberry-pi

每当我 运行 openocd 时,它都会在端口 3333 上启动 gdb 服务器,这当然是默认端口,如上图所示。我的问题是,有没有办法为 openocd 提供不同的端口号以启动 gdb 调试器...例如,如果我想 运行 openocd 我希望 gdb 服务器在 3334 上启动3333 我该怎么做。

我打算这样做,以便我可以 运行 多个用于不同目标的 openocd 实例同时连接到一个 raspberry pi。任何帮助将不胜感激。提前致谢。

OpenOcd 手册解释了如何 select 配置文件中的特定端口号,如下图所示: