Kconfig 149 Bytes
edit raw blame history



1

2

3

4

5

6

7

8

9


choice
	prompt "Machine type"
	depends on MACH_XILFPGA
	default XILFPGA_NEXYS4DDR

config XILFPGA_NEXYS4DDR
	bool "Nexys4DDR by Digilent"

endchoice