Kconfig - arch/mips/xilfpga/Kconfig - Linux source code v3.1

Note: File does not exist in v3.1.

1choice
2	prompt "Machine type"
3	depends on MACH_XILFPGA
4	default XILFPGA_NEXYS4DDR
5
6config XILFPGA_NEXYS4DDR
7	bool "Nexys4DDR by Digilent"
8
9endchoice