Attempting to debug with openocd on Windows fails, because the launch configuration in launch.json contains this:
"overrideLaunchCommands": [
"monitor reset init",
"load \"${command:raspberry-pi-pico.launchTargetPath}\""
],
On Windows, launchTargetPath is delimited by backslashes - which are interpreted as escape sequences, so the load command fails (file not found).
A workaround is to delete this (assuming the image is going into flash). An alternative workaround is to use the command variable extension and replace the backslashes with forward slashes.