summaryrefslogtreecommitdiffstats
path: root/kernel/arch/mips/xilfpga/Kconfig
blob: 42a030a0edba33718c316b6d0bcc4e6f90275d3b (plain)
1
2
3
4
5
6
7
8
9
choice
	prompt "Machine type"
	depends on MACH_XILFPGA
	default XILFPGA_NEXYS4DDR

config XILFPGA_NEXYS4DDR
	bool "Nexys4DDR by Digilent"

endchoice