Kconfig 149 B

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