# SPDX-License-Identifier: BSD-2-Clause config PLATFORM_ARIANE_FPGA bool select FDT select IPI_MSWI select IRQCHIP_PLIC select SERIAL_UART8250 select TIMER_MTIMER default y