platform/nuclei/ux600/Kconfig

# SPDX-License-Identifier: BSD-2-Clause

config PLATFORM_NUCLEI_UX600
	bool
	select FDT
	select IPI_MSWI
	select IRQCHIP_PLIC
	select SERIAL_SIFIVE
	select TIMER_MTIMER
	default y