1if TARGET_XTFPGA
2
3choice
4	prompt "XTFPGA board type select"
5
6config XTFPGA_LX60
7	bool "Support Avnet LX60"
8config XTFPGA_LX110
9	bool "Support Avnet LX110"
10config XTFPGA_LX200
11	bool "Support Avnet LX200"
12config XTFPGA_ML605
13	bool "Support Xilinx ML605"
14config XTFPGA_KC705
15	bool "Support Xilinx KC705"
16
17endchoice
18
19config SYS_BOARD
20	default "xtfpga"
21
22config SYS_VENDOR
23	default "cadence"
24
25config SYS_CONFIG_NAME
26	default "xtfpga"
27
28config BOARD_SDRAM_SIZE
29	hex
30	default 0x04000000 if XTFPGA_LX60
31	default 0x03000000 if XTFPGA_LX110
32	default 0x06000000 if XTFPGA_LX200
33	default 0x18000000 if XTFPGA_ML605
34	default 0x38000000 if XTFPGA_KC705
35
36endif
37