10 #include "fsl_common.h"    11 #include "fsl_debug_console.h"    26     uint32_t uartClkSrcFreq = CLOCK_GetIpFreq(kCLOCK_Lpuart1);
 #define BOARD_DEBUG_UART_BAUDRATE
 
#define BOARD_DEBUG_UART_BASEADDR
 
#define BOARD_DEBUG_UART_CLKSRC
 
void BOARD_InitDebugConsole(void)
 
#define BOARD_DEBUG_UART_TYPE