Serial port confusion on pixhawk 4

Hi,

Can any one tell which serial port is mapped with which pins on pixhawk 4 . For eg; - the USB is mapped to /dev/ttyACM0 serial port .

Similarly what is the serial port number of telem1, telem2 in terms of dev/ttyS*, etc and what are their default baudrate?

The first USB over serial device like a Pixhawk is /dev/ttyACM0 on Linux and then the numbers increase. You can also find it at /dev/serial/by-id/... usually.

In the other direction, for NuttX it’s a bit more complicated.
@dagar is there a table anywhere which describes the mapping for Pixhawk 4?