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 select ZYNQ_CUSTOM_INIT 37 38endchoice 39 40config SYS_BOARD 41 default "zynq" 42 43config SYS_VENDOR 44 default "xilinx" 45 46config SYS_SOC 47 default "zynq" 48 49config SYS_CONFIG_NAME 50 default "zynq_zed" if TARGET_ZYNQ_ZED 51 default "zynq_microzed" if TARGET_ZYNQ_MICROZED 52 default "zynq_picozed" if TARGET_ZYNQ_PICOZED 53 default "zynq_zc70x" if TARGET_ZYNQ_ZC702 || TARGET_ZYNQ_ZC706 54 default "zynq_zc770" if TARGET_ZYNQ_ZC770 55 default "zynq_zybo" if TARGET_ZYNQ_ZYBO 56 57endif 58