| BR2_arm=y |
| BR2_cortex_a9=y |
| BR2_ARM_ENABLE_NEON=y |
| # Linux headers same as kernel, a 3.18 series |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_18=y |
| BR2_TARGET_GENERIC_GETTY_PORT="ttyPS0" |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_GIT=y |
| BR2_LINUX_KERNEL_CUSTOM_REPO_URL="git://github.com/Xilinx/linux-xlnx.git" |
| BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="xilinx-v2015.1" |
| BR2_LINUX_KERNEL_DEFCONFIG="xilinx_zynq" |
| BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x8000" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="zynq-zed" |
| BR2_TARGET_ROOTFS_CPIO=y |
| BR2_TARGET_ROOTFS_CPIO_GZIP=y |
| BR2_TARGET_ROOTFS_CPIO_UIMAGE=y |
| BR2_TARGET_UBOOT=y |
| BR2_TARGET_UBOOT_BOARDNAME="zynq_microzed" |
| BR2_TARGET_UBOOT_CUSTOM_VERSION=y |
| BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2015.07" |
| BR2_TARGET_UBOOT_PATCH="$(TOPDIR)/board/avnet/microzed/uboot" |
| BR2_TARGET_UBOOT_NEEDS_DTC=y |
| BR2_TARGET_UBOOT_FORMAT_DTB_IMG=y |
| BR2_TARGET_UBOOT_SPL=y |
| BR2_TARGET_UBOOT_ZYNQ_IMAGE=y |
