Adding launch.json for the debug probe

[noutram-old-uopaccount]

Currently, none of the candidate launch.json files in the ide/vscode folder work with the (relatively new) official Debug Probe. Although similar to the pico-probe, there are some small differences. It took a considerable time to work out the changes needed to get it to work.

The proposal here is to add an additional file (and reference in the readme) with these changes. It is also labelled launch-debug-probe.json to match the product name.
The README is also updated (although I am not sure about including the URL of the product page - is that a stable URL?)

[lurch]

See also #349 and #380 and raspberrypi/debugprobe#49 (comment) and raspberrypi/openocd#78
ping @P33M

[lurch]

The README is also updated (although I am not sure about including the URL of the product page - is that a stable URL?)

Just to be pedantic, https://www.raspberrypi.com/documentation/microcontrollers/debug-probe.html is actually the documentation URL; the product URL is https://www.raspberrypi.com/products/debug-probe/ 😉
But yes, both of those URLs are stable.

[noutram-old-uopaccount]

Slight aside, I would be happy to contribute small PRs to the documentation - or is that internal only?

[lurch]

Slight aside, I would be happy to contribute small PRs to the documentation - or is that internal only?

The documentation at https://www.raspberrypi.com/documentation/ is open for PRs at https://github.com/raspberrypi/documentation/tree/develop

The PDF documentation at https://datasheets.raspberrypi.com/ isn't open, but you can submit suggestions at https://github.com/raspberrypi/pico-feedback/issues

[ghost]

This way https://github.com/vidadonizete/pivro/blob/main/environments/pico/.vscode/launch.json#L20C39-L20C39 it works too

[ghost]

Also, would be great to document about udev rules: https://github.com/raspberrypi/openocd/blob/rp2040-v0.12.0/contrib/60-openocd.rules when using openocd with cortex-debug extension.
You need to move udev rules and add your user into group: sudo useradd -G plugdev $(whoami).