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