arch/mips/xilfpga/Kconfig

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