Tools for Raspberry Pi Pico
$ 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
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|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.