1if ARCH_ZYNQ 2 3config ZYNQ_CUSTOM_INIT 4 bool "Use custom ps7_init provided by Xilinx tool" 5 help 6 U-Boot includes ps7_init_gpl.[ch] for some Zynq board variants. 7 If you want to override them with customized ones 8 or ps7_init code for your board is missing, please say Y here 9 and add ones into board/xilinx/zynq/custom_hw_platform/ directory. 10 11choice 12 prompt "Xilinx Zynq board select" 13 default TARGET_ZYNQ_ZC702 14 15config TARGET_ZYNQ_ZED 16 bool "Zynq ZedBoard" 17 18config TARGET_ZYNQ_MICROZED 19 bool "Zynq MicroZed" 20 21config TARGET_ZYNQ_PICOZED 22 bool "Zynq PicoZed" 23 24config TARGET_ZYNQ_ZC702 25 bool "Zynq ZC702 Board" 26 27config TARGET_ZYNQ_ZC706 28 bool "Zynq ZC706 Board" 29 30config TARGET_ZYNQ_ZC770 31 bool "Zynq ZC770 Board" 32 select ZYNQ_CUSTOM_INIT 33 34config TARGET_ZYNQ_ZYBO 35 bool "Zynq Zybo Board" 36 37endchoice 38 39config SYS_BOARD 40 default "zynq" 41 42config SYS_VENDOR 43 default "xilinx" 44 45config SYS_SOC 46 default "zynq" 47 48config SYS_CONFIG_NAME 49 default "zynq_zed" if TARGET_ZYNQ_ZED 50 default "zynq_microzed" if TARGET_ZYNQ_MICROZED 51 default "zynq_picozed" if TARGET_ZYNQ_PICOZED 52 default "zynq_zc70x" if TARGET_ZYNQ_ZC702 || TARGET_ZYNQ_ZC706 53 default "zynq_zc770" if TARGET_ZYNQ_ZC770 54 default "zynq_zybo" if TARGET_ZYNQ_ZYBO 55 56endif 57