platform/fpga/ariane/Kconfig

# 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