1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <console/uart.h>
5 #include <boot/coreboot_tables.h>
7 static uint8_t *buf
= (void *)0;
8 uintptr_t uart_platform_base(unsigned int idx
)
10 return (uintptr_t)buf
;
13 void uart_init(unsigned int idx
)
17 unsigned char uart_rx_byte(unsigned int idx
)
22 void uart_tx_byte(unsigned int idx
, unsigned char data
)
26 void uart_tx_flush(unsigned int idx
)
30 enum cb_err
fill_lb_serial(struct lb_serial
*serial
)
32 serial
->type
= LB_SERIAL_TYPE_MEMORY_MAPPED
;
34 serial
->baud
= 115200;
36 serial
->input_hertz
= uart_platform_refclk();