Getting started with Raspberry Pi Pico
Close MSYS2 and reopen the 64-bit version to make sure the environment picks up GCC.
$ git clone https://github.com/raspberrypi/openocd.git --branch picoprobe --depth=1
$ cd openocd
$ ./bootstrap
$ ./configure --enable-picoprobe --disable-werror
$ make -j4
1. Unfortunately
Finally run OpenOCD to check it has built correctly. Expect it to error out because no configuration options have been
passed.
$ src/openocd.exe
Open On-Chip Debugger 0.10.0+dev-gc231502-dirty (2020-10-14-14:37)
Licensed under GNU GPL v2
For bug reports, read
embedded:startup.tcl:56: Error: Can't find openocd.cfg
in procedure 'script'
at file "embedded:startup.tcl", line 56
Info : Listening on port 6666 for tcl connections
Info : Listening on port 4444 for telnet connections
Error: Debug Adapter has to be specified, see "interface" command
embedded:startup.tcl:56: Error:
in procedure 'script'
at file "embedded:startup.tcl", line 56
Mac
Install brew if needed
/bin/bash -c "$(curl -fsSL
https://raw.githubusercontent.com/Homebrew/install/master/install.sh)"
Build OpenOCD
is needed because not everything compiles cleanly on Windows
disable-werror
http://openocd.org/doc/doxygen/bugs.html
①
59
Need help?
Do you have a question about the RP2040 and is the answer not in the manual?