text: /*
   * Copyright (c) 2015, Freescale Semiconductor, Inc.
   * Copyright 2016-2017 NXP
   * All rights reserved.
   *
   * SPDX-License-Identifier: BSD-3-Clause
   */
  
  #include <stdint.h>
  #include "fsl_common.h"
  #include "fsl_debug_console.h"
  #include "board.h"
  
  /*******************************************************************************
   * Variables
   ******************************************************************************/
  
  /*******************************************************************************
   * Code
   ******************************************************************************/
  /* Initialize debug console. */
  void BOARD_InitDebugConsole(void)
  {
      uint32_t uartClkSrcFreq = BOARD_DEBUG_UART_CLK_FREQ;
  
      DbgConsole_Init(BOARD_DEBUG_UART_BASEADDR, BOARD_DEBUG_UART_BAUDRATE, BOARD_DEBUG_UART_TYPE, uartClkSrcFreq);
  }
  