Resolved! I get output via UART4, but not via ST-LINK and I cannot input anything regardless.
Hello,I am using the stm32mp157c-ev1 board. I used this guide from digi-key to install debian on it (Debian: Getting Started with the STM32MP157), except in the parts where it says stm32mp157c-dk2 i replaced that with the appropriate '-ev1' suffix. I...