Hi,
In the registery definition of nRF52840 it is stated for PSEL.TXD:
Reg ID: A -> from bit 0 til 4 for Pin selection
Reg ID: B -> bit 5 for Port number
In this case, we should conclude that the TxD pin of the UART can only be mapped to P1.0 to P1.4 and P0.0 to P0.4.
Am I right?

Conversely, in the serialization user guide:
we can see that the recommended connection between the boards PCA10056, implies that TxD is mapped to P1.13 or P1.14.
How this could be possible?

Any help is welcomed.

