/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <drivers/vpd/vpd.h> | |
#include <console/uart.h> | |
#include "vpd.h" | |
unsigned int get_uart_for_console(void) | |
{ | |
int val_int = COREBOOT_UART_IO_DEFAULT; | |
if (vpd_get_int(COREBOOT_UART_IO, VPD_RW_THEN_RO, (int *const) &val_int)) { | |
if (val_int > 3) | |
val_int = COREBOOT_UART_IO_DEFAULT; | |
} | |
return val_int; | |
} |