As described here
Verdin has an integrated Serial-to-USB converter that lists 4 serial ports on your computer. The highest index is the Linux serial console. Example, if you see
/dev/ttyUSB3is the serial console.
This explains which is Linux serial console (
/dev/ttyUSB3), but it’s not clear which is Cortex-M serial port (it should be uart_4 peripheral).
Moreover, opening a temrinal on
ttyUSB0 resets the device (as described here) and so I suppose that this is either the FDTI JTAG or FTDI GPIO.
Is it possible to have a list of what are all the other ports