| if TARGET_XTFPGA | 
|   | 
| choice | 
|     prompt "XTFPGA board type select" | 
|   | 
| config XTFPGA_LX60 | 
|     bool "Support Avnet LX60" | 
| config XTFPGA_LX110 | 
|     bool "Support Avnet LX110" | 
| config XTFPGA_LX200 | 
|     bool "Support Avnet LX200" | 
| config XTFPGA_ML605 | 
|     bool "Support Xilinx ML605" | 
| config XTFPGA_KC705 | 
|     bool "Support Xilinx KC705" | 
|   | 
| endchoice | 
|   | 
| config SYS_BOARD | 
|     string | 
|     default "xtfpga" | 
|   | 
| config SYS_VENDOR | 
|     string | 
|     default "cadence" | 
|   | 
| config SYS_CONFIG_NAME | 
|     string | 
|     default "xtfpga" | 
|   | 
| config BOARD_SDRAM_SIZE | 
|     hex | 
|     default 0x04000000 if XTFPGA_LX60 | 
|     default 0x03000000 if XTFPGA_LX110 | 
|     default 0x06000000 if XTFPGA_LX200 | 
|     default 0x18000000 if XTFPGA_ML605 | 
|     default 0x38000000 if XTFPGA_KC705 | 
|   | 
| endif |