Sign in
gem5
/
arm
/
linux
/
d1c61e6d79ea0d4d53dc18bcd2db30ef2d99cfa7
/
.
/
arch
/
mips
/
xilfpga
/
Kconfig
blob: ca7b2368eab7c905d39dee5158920a2110b1e200 [
file
] [
log
] [
blame
]
# 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