Kconfig 149 Bytes edit raw blame history 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
