Hi arecz,
Your problem is mainly caused by the code, I have tested on my side, it works OK.
I think you didn't modify this point, board.h
#define BOARD_DEBUG_UART_TYPE DEBUG_CONSOLE_DEVICE_TYPE_FLEXCOMM
#define BOARD_DEBUG_UART_BASEADDR (uint32_t) USART4
#define BOARD_DEBUG_UART_INSTANCE 4U
#define BOARD_DEBUG_UART_CLK_FREQ CLOCK_GetFreq(kCLOCK_Flexcomm4)
#define BOARD_DEBUG_UART_CLK_ATTACH kFRO12M_to_FLEXCOMM4
#define BOARD_DEBUG_UART_RST kFC0_RST_SHIFT_RSTn
#define BOARD_DEBUG_UART_CLKSRC kCLOCK_Flexcomm4
#define BOARD_UART_IRQ_HANDLER FLEXCOMM4_IRQHandler
#define BOARD_UART_IRQ FLEXCOMM4_IRQn
After the modification, the printf information:

Please note, J13_13 is P3_27-FC4_TXD, you need to connect it to USB-TTL RXD.
J13_15 is P3_26-FC4_RXD, you need to connect it to USB-TTL TXD.
Wish it helps you!
Have a great day,
Kerry
-------------------------------------------------------------------------------
Note:
- If this post answers your question, please click the "Mark Correct" button. Thank you!
- We are following threads for 7 weeks after the last post, later replies are ignored
Please open a new thread and refer to the closed one, if you have a related question at a later point in time.
-------------------------------------------------------------------------------