arch/mips/xilfpga/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 choice
   3         prompt "Machine type"
   4         depends on MACH_XILFPGA
   5         default XILFPGA_NEXYS4DDR
   6
   7 config XILFPGA_NEXYS4DDR
   8         bool "Nexys4DDR by Digilent"
   9
  10 endchoice