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