1 if TARGET_XTFPGA 2 3 choice 4 prompt "XTFPGA board type select" 5 6 config XTFPGA_LX60 7 bool "Support Avnet LX60" 8 config XTFPGA_LX110 9 bool "Support Avnet LX110" 10 config XTFPGA_LX200 11 bool "Support Avnet LX200" 12 config XTFPGA_ML605 13 bool "Support Xilinx ML605" 14 config XTFPGA_KC705 15 bool "Support Xilinx KC705" 16 17 endchoice 18 19 config SYS_BOARD 20 string 21 default "xtfpga" 22 23 config SYS_VENDOR 24 string 25 default "cadence" 26 27 config SYS_CONFIG_NAME 28 string 29 default "xtfpga" 30 31 config 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 39 endif 40
