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 string 21 default "xtfpga" 22 23config SYS_VENDOR 24 string 25 default "cadence" 26 27config SYS_CONFIG_NAME 28 string 29 default "xtfpga" 30 31config BOARD_SDRAM_SIZE 32 hex 33 default 0x04000000 if XTFPGA_LX60 34 default 0x03000000 if XTFPGA_LX110 35 default 0x06000000 if XTFPGA_LX200 36 default 0x18000000 if XTFPGA_ML605 37 default 0x38000000 if XTFPGA_KC705 38 39endif 40