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