I have followed the instructions for using openocd to debug an program, but the output I get from openocd is:
Info : Hardware thread awareness created Info : Hardware thread awareness created Info : RP2040 Flash Bank Command Info : Listening on port 6666 for tcl connections Info : Listening on port 4444 for telnet connections Info : BCM2835 GPIO JTAG/SWD bitbang driver Info : clock speed 1001 kHz
Info : Listening on port 3333 for gdb connections
The command line I have used is:
openocd -f interface/raspberrypi-swd.cfg -f target/rp2040.cfg
Was wondering if the fact that I am using a PicoW effects the raspberrypi-swd config?
Any clues would be appreciated.