2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
4 * SPDX-License-Identifier: BSD-3-Clause
7 #include <platform_def.h>
9 #include <drivers/console.h>
10 #include <drivers/ti/uart/uart_16550.h>
12 #include <k3_console.h>
14 void bl31_console_setup(void)
16 static console_16550_t console
;
18 /* Initialize the console to provide early debug support */
19 console_16550_register(K3_USART_BASE_ADDRESS
, K3_USART_CLK_SPEED
,
20 K3_USART_BAUD
, &console
);