blob: ca7b2368eab7c905d39dee5158920a2110b1e200 [file] [log] [blame]
rjw1f884582022-01-06 17:20:42 +08001# SPDX-License-Identifier: GPL-2.0
2choice
3 prompt "Machine type"
4 depends on MACH_XILFPGA
5 default XILFPGA_NEXYS4DDR
6
7config XILFPGA_NEXYS4DDR
8 bool "Nexys4DDR by Digilent"
9
10endchoice