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