6 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_4=y
7 BR2_TARGET_GENERIC_GETTY_PORT="ttyPS0"
9 BR2_LINUX_KERNEL_CUSTOM_GIT=y
10 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/Xilinx/linux-xlnx.git"
11 BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="xilinx-v2016.2"
12 BR2_LINUX_KERNEL_DEFCONFIG="xilinx_zynq"
13 BR2_LINUX_KERNEL_UIMAGE=y
14 BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x8000"
15 BR2_LINUX_KERNEL_DTS_SUPPORT=y
16 BR2_LINUX_KERNEL_INTREE_DTS_NAME="zynq-zc706"
17 BR2_TARGET_ROOTFS_CPIO=y
18 BR2_TARGET_ROOTFS_CPIO_GZIP=y
19 BR2_TARGET_ROOTFS_CPIO_UIMAGE=y
21 BR2_TARGET_UBOOT_BUILD_SYSTEM_KCONFIG=y
22 BR2_TARGET_UBOOT_CUSTOM_GIT=y
23 BR2_TARGET_UBOOT_CUSTOM_REPO_URL="https://github.com/Xilinx/u-boot-xlnx.git"
24 BR2_TARGET_UBOOT_CUSTOM_REPO_VERSION="xilinx-v2016.2"
25 BR2_TARGET_UBOOT_BOARD_DEFCONFIG="zynq_zc706"
26 BR2_TARGET_UBOOT_NEEDS_DTC=y
27 BR2_TARGET_UBOOT_NEEDS_OPENSSL=y
28 BR2_TARGET_UBOOT_FORMAT_IMG=y
29 BR2_TARGET_UBOOT_SPL=y
30 BR2_TARGET_UBOOT_SPL_NAME="spl/boot.bin"