Raspberry Pi Pico User Manual

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
disable-werror is needed because not everything compiles cleanly on Windows
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
Ê http://openocd.org/doc/doxygen/bugs.html
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)"
Getting started with Raspberry Pi Pico
Build OpenOCD 59

Raspberry Pi Pico Specifications

General

Microcontroller	RP2040
Clock Speed	133 MHz
SRAM	264 KB
Flash Memory	2 MB
GPIO Pins	26
Operating Temperature	-20°C to +85°C
Architecture	ARM Cortex-M0+ (dual-core)
Interfaces	I2C, SPI, UART, PWM
Operating Voltage	1.8–5.5 V
Dimensions	51 mm × 21 mm