@felmue I get output on pin 18 only (Port.C RX pin), pin 17 is always at 3.2V.

When I tap directly into the pin header on CoreS3 the PC_TX is at 3.2V.

It must be a faulty CoreS3 then.

Thanks for your help.