5 BR2_KERNEL_HEADERS_VERSION=y
6 BR2_DEFAULT_KERNEL_VERSION="4.1.1"
7 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_1=y
11 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
12 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.1.1"
13 BR2_LINUX_KERNEL_DEFCONFIG="at91_dt"
14 BR2_LINUX_KERNEL_ZIMAGE=y
15 BR2_LINUX_KERNEL_DTS_SUPPORT=y
16 BR2_LINUX_KERNEL_INTREE_DTS_NAME="at91-ariag25"
19 BR2_TARGET_AT91BOOTSTRAP3=y
20 BR2_TARGET_AT91BOOTSTRAP3_CUSTOM_GIT=y
21 BR2_TARGET_AT91BOOTSTRAP3_CUSTOM_REPO_URL="git://github.com/tanzilli/at91bootstrap.git"
22 BR2_TARGET_AT91BOOTSTRAP3_CUSTOM_REPO_VERSION="3f957cec253abc80fd10c733e5e596f46e1aef56"
23 BR2_TARGET_AT91BOOTSTRAP3_DEFCONFIG="aria-128m"