blob: ca7b2368eab7c905d39dee5158920a2110b1e200 (
plain) (
blame)
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
|