i wanted to use the new Raspberry Pi Pico as a Picoprobe debugger. I followed this tutorial. I am using Windows. When i try to run it with
src/openocd.exe -f interface/picoprobe.cfg -f target/rp2040.cfg -s tcl
i get a segmentation fault. When using -d i get this I already tried two different Picos. Does anyone know the solution?