Hi there,
Yes, the documentation is correct, the FX30S UART1 uses /dev/ttyHSL0 for R13.1.3.001 and lower.
Note, you’ll need an FX30 serial version, denoted by the ‘S’ to use UART1, which connects to the main DB9. However, if you want to use the IOT slot, UART2 routes and uses /dev/ttyHSL1.
Please be aware that mangOH and FX30 UART routing is different.
BR,
Chris