I have successfully used the latest version of JLink GDB Server (v6.96) to debug the RP2040 on a RPi Pico board. Thanks for the quick support for this! However, I was not able to successfully program the internal QSPI flash over JLink. Is that not supported yet on JLink, or am I likely doing something incorrectly?

Thanks!

Here is an example output with the GDB `load` command failing to verify (verify download option enabled):

GDB client side:
(gdb) load
Loading section .boot2, size 0x100 lma 0x10000000
Loading section .text, size 0x7028 lma 0x10000100
Loading section .rodata, size 0x1370 lma 0x10007128
Loading section .binary_info, size 0x20 lma 0x10008498
Loading section .data, size 0xb14 lma 0x100084b8
Start address 0x10000104, load size 36812
Transfer rate: 115 KB/sec, 2831 bytes/write.

JLink GDB Server side:
Waiting for GDB connection...Connected to 127.0.0.1
Reading all registers
Read 4 bytes @ address 0x10000DE4 (Data = 0x4B089A05)
Downloading 256 bytes @ address 0x10000000 - Verified OK
Downloading 4096 bytes @ address 0x10000100 - Verify failed
Downloading 4096 bytes @ address 0x10001100 - Verify failed
Downloading 4096 bytes @ address 0x10002100 - Verify failed
Downloading 4096 bytes @ address 0x10003100 - Verify failed
Downloading 4096 bytes @ address 0x10004100 - Verify failed
Downloading 4096 bytes @ address 0x10005100 - Verify failed
Downloading 4096 bytes @ address 0x10006100 - Verify failed
Downloading 40 bytes @ address 0x10007100 - Verified OK
Downloading 4096 bytes @ address 0x10007128 - Verify failed
Downloading 880 bytes @ address 0x10008128 - Verify failed
Downloading 32 bytes @ address 0x10008498 - Verified OK
Downloading 2836 bytes @ address 0x100084B8 - Verify failed
Writing register (PC = 0x10000104)
Read 4 bytes @ address 0x10000104 (Data = 0x49272000)