| rjw | 1f88458 | 2022-01-06 17:20:42 +0800 | [diff] [blame^] | 1 | # SPDX-License-Identifier: GPL-2.0 |
| 2 | choice | ||||
| 3 | prompt "Machine type" | ||||
| 4 | depends on MACH_XILFPGA | ||||
| 5 | default XILFPGA_NEXYS4DDR | ||||
| 6 | |||||
| 7 | config XILFPGA_NEXYS4DDR | ||||
| 8 | bool "Nexys4DDR by Digilent" | ||||
| 9 | |||||
| 10 | endchoice | ||||