secgateway/kernel/linux-4.14.83/arch/mips/xilfpga/Kconfig

11 lines
184 B
Plaintext
Raw Normal View History

2019-06-11 07:43:23 +00:00
# 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