The Raspberry Pi pico has its 3-pin SWD debug port. I'd like to connect it to the 40-pin header on the back of the Pi400, to use the
400 as the dev/debug platform for some RP2040-based boxes.
Has anyone done this? What Pi400 pins connect to the SWD port?
Googling doesn't help. I have the RP400 Beginners Guide book and it doesn't mention doing this.
Anybody have links about doing this?