Hello,
On SP32C3 board:
In the Arduino ide, the Tools/ “USB CDC On Boot” option appears to change the output of the serir port to USB or the TX/Rx pins.
On NRF52840 board: this option does not appear and I do not know how to configure it so that the UART uses the TX / RX pins.