upsilon/opensbi/litex/vexriscv/Kconfig

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

config PLATFORM_LITEX_VEXRISCV
	bool
	select FDT
	select FDT_SERIAL
	select TIMER_MTIMER
	select IPI_MSWI
	select FDT_SERIAL_LITEX
	default y
opensbi 2023-06-02 16:40:55 -04:00			`# SPDX-License-Identifier: BSD-2-Clause`

			`config PLATFORM_LITEX_VEXRISCV`
			`bool`
			`select FDT`
			`select FDT_SERIAL`
			`select TIMER_MTIMER`
sucessfully boot MAINLINE Linux! 2023-06-05 16:50:08 -04:00			`select IPI_MSWI`
opensbi 2023-06-02 16:40:55 -04:00			`select FDT_SERIAL_LITEX`
			`default y`