Picoprobe with Serial

[martinerk0]

The picoprobe attaches to pins 0,1 therefore Serial1 is available but that would mean I have to rewrite code? Is it possible to use picoprobe for debugging but somehow still use Serial?

Edit: using platformio

[earlephilhower]

No, Serial is the USB port and that can't be redirected toa physical UART.