/* | |
* Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <console.h> | |
#include <k3_console.h> | |
#include <platform_def.h> | |
#include <uart_16550.h> | |
void bl31_console_setup(void) | |
{ | |
static console_16550_t console; | |
/* Initialize the console to provide early debug support */ | |
console_16550_register(K3_USART_BASE_ADDRESS, K3_USART_CLK_SPEED, | |
K3_USART_BAUD, &console); | |
} |