platform/kendryte/k210/Kconfig - opensbi - Git at Google

 # 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
	# 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