5 # Linux headers same as kernel, a 4.6 series
6 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_6=y
9 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc0"
11 # required tools to create the SD card image
12 BR2_PACKAGE_HOST_DOSFSTOOLS=y
13 BR2_PACKAGE_HOST_GENIMAGE=y
14 BR2_PACKAGE_HOST_MTOOLS=y
17 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/imx51evk/post-image.sh"
18 BR2_TARGET_ROOTFS_EXT2=y
19 BR2_TARGET_ROOTFS_EXT2_4=y
23 BR2_TARGET_UBOOT_BOARDNAME="mx51evk"
24 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
25 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2016.07"
26 BR2_TARGET_UBOOT_FORMAT_IMX=y
30 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
31 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.6.2"
32 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
33 BR2_LINUX_KERNEL_DTS_SUPPORT=y
34 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx51-babbage"