RTOS: reduce DAP polling delay - improves throughput. Signed-off-by: Jonathan Bell <jonathan@raspberrypi.com>
Picoprobe allows a Pico / RP2040 to be used as USB -> SWD and UART bridge. This means it can be used as a debugger and serial console for another Pico.
Picoprobe documentation can be found in the Pico Getting Started Guide. See “Appendix A: Using Picoprobe”.