Segger have released an updated firmware for their inexpensive J-Link Edu Mini (USD$18) and their superb Ozone debugger, that allows Raspberry Pi Pico to be debugged like any other J-Link enabled device.
Thanks to @vorosj in Raspberry Pi RP2040 microcontroller - PIO support when? :), for bringing attention to this important Pico RP2040 update to all of us who prefer to use PlatformIO with J-Link.
Last week, Segger released
Edu Mini firmware v6.9.6Ozone v3.22b (RP2040_M0_0, SWD, 4MHz)
Segger are in the process of adding QSPI support. This will enable flash programming of Pico. Given the rapid pace at which Segger are updating their J-Link firmware, full J-Link upload & debug firmware support should be available in the next few weeks or sooner.
Currently, once the debug version of a Pico program has been uploaded via USB, Pico can be debugged via J-Link with Segger Ozone debugger using the attach to running program option.
In my debug testing of a ST7789V display connected to a Pico (J-Link Edu Mini, Pico RP2040, macOS 10.14.6, ST7789V 135x240 using Ozone), debug sessions worked well.
We’ll get to seamless Pico debugging via J-Link once QSPI support has been added. There will be no need to use a dual Pico setup (i.e. Picoprobe).
All of this abodes well for adding Raspberry Pi Pico to PlatformIO 1-click debugging solution support in the near future.