Soft 404
The twitter link didn't work for me. Here's a direct one to the press release.
I installed it, on a laptop that had the original SDK and VSCode available.
It works perfectly. (edit: except the picoprobe - see later)
For the Picoprobe firmware, I adapted the original firmware for Seeed xiao, like shabaz did earlier: /products/raspberry-pi/b/blog/posts/pi-pico-eurocard-development-board?CommentId=f4052254-e837-4903-859c-9e8f50358f2f
Does your debugger stop at the start of main() with the new setup?
I get this message on the debug terminal: Note: automatically using hardware breakpoints for read-only addresses.
And the debugger stops when my code has been running for a while. Even if I set a manual breakpoint.