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