Debug a Pi Pico app with Picoprobe（WSL2）

Picoprobe.md

Run Powershell as an admin

• usbipd list to find the Picoprobe's BUSID
• If the BUSID is 2-2,
• usbipd wsl attach --busid 2-2

On a terminal

• openocd

On another terminal

• gdb-pico [project].elf
• In the gdb's REPL
• c to start
• monitor reset halt to reboot

Setup

openocd

git clone https://github.com/raspberrypi/openocd.git --branch picoprobe --depth=1 --no-single-branch
cd openocd
./bootstrap
./configure --enable-picoprobe
make -j4
sudo make install

gdb-multiarch

sudo apt install gdb-multiarch

.bash_alias

alias openocd="sudo openocd -f interface/picoprobe.cfg -f target/rp2040.cfg -c 'bindto 0.0.0.0'"
function gdb-pico() {
  gdb-multiarch -ex "target remote localhost:3333" $*
}
alias gdb-pico=gdb-pico