1 /*
2  * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <platform_def.h>
8 
9 #include <drivers/console.h>
10 #include <drivers/ti/uart/uart_16550.h>
11 
12 #include <k3_console.h>
13 
bl31_console_setup(void)14 void bl31_console_setup(void)
15 {
16 	static console_t console;
17 
18 	/* Initialize the console to provide early debug support */
19 	console_16550_register(K3_USART_BASE, K3_USART_CLK_SPEED,
20 			       K3_USART_BAUD, &console);
21 }
22