Project ID: 42961


Tools for Raspberry Pi Pico

Installation Instructions

Enable repo

$ dnf copr enable perex/raspberry-pi-pico

Install openocd with Raspberry Pi Pico (picoprobe) support

$ dnf install openocd

Note: remove default openocd package if installed and has more recent package version or revision.


It seems that arm-none-eabi-gdb installation is not required, the standard gdb on x86_64 supports arm.

$ gdb -ex "target extended-remote localhost:3333" blink.elf

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download
Fedora 33 x86_64 (0)* Fedora 33 (12 downloads)
Fedora 34 x86_64 (0)* Fedora 34 (15 downloads)
Fedora rawhide x86_64 (0)* Fedora rawhide (16 downloads)

* Total number of packages downloaded in the last seven days.