The board provides a JLink adapter which is exposed as /dev/ttyACMx on Linux. STDIO UART is available on this port