Links for openocd-rp2040
openocd-rp2040-0.12.0.tar.gz