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