I am using OpenOCD (and not only).But my understanding is that the 'stock' OpenOCD does not natively support the Pico and you have to use the one at https://github.com/raspberrypi/openocd.git.
You should stick with RPi version, the original one has only generic support for CMSIS-DAP in regards of RP2
About repo.or.cz
On Fri, Jun 21, 2024 at 2:42 PM <ka...@as...> wrote:
> ...
>
> Strange that jimtcl/DEVELOPING says that:
>
> Jim's sources are kept in Git Version Control System. Global repository of
> Jim project is placed on this Web site:
>
> http://repo.or.cz/w/jimtcl.git
>
I will inform the developer.
He used to push in repo.or.cz, but this server has always been unstable.
At a certain point he decided to stop updating it and to only use his
github.
Also OpenOCD stopped using it for the same reason.
https://repo.or.cz/openocd.git/ seems to work, why not jimtcl ?
>
Because OpenOCD is looking for a SHA1 for jimtcl that has never been pushed
in repo.or.cz
I have pushed
https://review.openocd.org/c/openocd/+/8375
Antonio
Statistics: Posted by gmx — Sun Nov 09, 2025 4:41 pm