Where is uart4 configured for output on STM32MP157d-dk1
I am working with an STM32MP157d-dk1 board, but am trying to make my own MVP board running yocto on the STM32MP157 chip and have questions concerning the use of the debug console.
I believe the debugging console for the dev board runs via uart4, and in the schematic of the dev board, I can see that uart4 is relayed through the on-board stm32f103 stlink mcu.
Is there a need to run the uart via a separate mcu, or can I route uart4 so that I may access it directly on my own board?
Where is uart4 configured to capture stdin/stdout etc? I can see in the linux device tree that uart4 is the only uart having "status = "okay";", but where is the configuration made for stream capture, baud rate, etc.?
