# SPDX-License-Identifier: BSD-2-Clause config PLATFORM_OPENPITON_FPGA bool select SERIAL_UART8250 default y