4 # Linux headers same as kernel, a 3.18 series
5 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_18=y
6 BR2_TARGET_GENERIC_GETTY_PORT="ttyPS0"
8 BR2_LINUX_KERNEL_CUSTOM_GIT=y
9 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="git://github.com/Xilinx/linux-xlnx.git"
10 BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="xilinx-v2015.1"
11 BR2_LINUX_KERNEL_DEFCONFIG="xilinx_zynq"
12 BR2_LINUX_KERNEL_UIMAGE=y
13 BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x8000"
14 BR2_LINUX_KERNEL_DTS_SUPPORT=y
15 BR2_LINUX_KERNEL_INTREE_DTS_NAME="zynq-zed"
16 BR2_TARGET_ROOTFS_CPIO=y
17 BR2_TARGET_ROOTFS_CPIO_GZIP=y
18 BR2_TARGET_ROOTFS_CPIO_UIMAGE=y
20 BR2_TARGET_UBOOT_BOARDNAME="zynq_zed"
21 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
22 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2015.07"
23 BR2_TARGET_UBOOT_PATCH="$(TOPDIR)/board/avnet/zedboard/uboot"
24 BR2_TARGET_UBOOT_NEEDS_DTC=y
25 BR2_TARGET_UBOOT_FORMAT_DTB_IMG=y
26 BR2_TARGET_UBOOT_SPL=y
27 BR2_TARGET_UBOOT_ZYNQ_IMAGE=y