6 BR2_KERNEL_HEADERS_VERSION=y
7 BR2_DEFAULT_KERNEL_VERSION="3.19.2"
8 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_3_19=y
11 BR2_TARGET_GENERIC_GETTY_PORT="ttyAMA0"
15 BR2_LINUX_KERNEL_SAME_AS_HEADERS=y
16 BR2_LINUX_KERNEL_DEFCONFIG="mxs"
17 BR2_LINUX_KERNEL_ZIMAGE=y
18 BR2_LINUX_KERNEL_DTS_SUPPORT=y
19 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx28-evk"
23 BR2_TARGET_UBOOT_BOARDNAME="mx28evk"
24 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
25 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2015.01"
26 BR2_TARGET_UBOOT_FORMAT_SD=y