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
10