Yes, I can set breakpoints in the C code and run the firmware on a Pico. It’s all running on a Pi4, so it was just a matter of adding the debug pins on the Pico and configuring vscode (instructions followed in docs).