How to use the serial port on the R64 GPIO?

I see there are four serial ports on R64 GPIO, TXD1/RXD1~TXD4/RXD4, how to use them as serial port or RS232?

They are already defined in dtsi

You have to enable them in bpi-r64.dts. when booting serial driver should catch them if gpio not blocked by another function