| Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame^] | 1 | # SPDX-License-Identifier: GPL-2.0 |
| Zubair Lutfullah Kakakhel | 9937f5f | 2015-10-26 11:30:56 +0000 | [diff] [blame] | 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 | ||||