1if ARCH_ZYNQ 2 3choice 4 prompt "Xilinx Zynq board select" 5 optional 6 7config TARGET_ZYNQ_ZED 8 bool "Zynq ZedBoard" 9 10config TARGET_ZYNQ_MICROZED 11 bool "Zynq MicroZed" 12 13config TARGET_ZYNQ_PICOZED 14 bool "Zynq PicoZed" 15 16config TARGET_ZYNQ_ZC70X 17 bool "Zynq ZC702/ZC706 Board" 18 19config TARGET_ZYNQ_ZC770 20 bool "Zynq ZC770 Board" 21 22config TARGET_ZYNQ_ZYBO 23 bool "Zynq Zybo Board" 24 25endchoice 26 27config SYS_BOARD 28 default "zynq" 29 30config SYS_VENDOR 31 default "xilinx" 32 33config SYS_SOC 34 default "zynq" 35 36config SYS_CONFIG_NAME 37 default "zynq_zed" if TARGET_ZYNQ_ZED 38 default "zynq_microzed" if TARGET_ZYNQ_MICROZED 39 default "zynq_picozed" if TARGET_ZYNQ_PICOZED 40 default "zynq_zc70x" if TARGET_ZYNQ_ZC70X 41 default "zynq_zc770" if TARGET_ZYNQ_ZC770 42 default "zynq_zybo" if TARGET_ZYNQ_ZYBO 43 44endif 45