Sign in
kernel
/
pub
/
scm
/
linux
/
kernel
/
git
/
tglx
/
rt-history
/
9abc2a08a7d665b02bdde974fd6c44aae86e923e
/
.
/
arch
/
mips
/
xilfpga
/
Kconfig
blob: 42a030a0edba33718c316b6d0bcc4e6f90275d3b [
file
] [
log
] [
blame
]
choice
prompt
"Machine type"
depends on MACH_XILFPGA
default
XILFPGA_NEXYS4DDR
config XILFPGA_NEXYS4DDR
bool
"Nexys4DDR by Digilent"
endchoice
