如何在STM32MP157A-EV1板上使用UART4？

这里有2个问题：
演示板上的 UART4 连接器默认处于活动状态还是我需要构建它？
如果/当它处于活动状态时，哪个 STLinux /dev/tty 链接到 UART4 的 I/O 路径？