1 2 3 4 5 6 7
# SPDX-License-Identifier: BSD-2-Clause config PLATFORM_ARIANE_FPGA bool select SERIAL_UART8250 select TIMER_MTIMER default y