8 # Linux headers same as kernel, a 4.1 series
9 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_1=y
12 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc0"
16 BR2_LINUX_KERNEL_CUSTOM_GIT=y
17 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="git://git.freescale.com/imx/linux-imx.git"
18 BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="rel_imx_4.1.15_2.0.0_ga"
19 BR2_LINUX_KERNEL_DEFCONFIG="imx_v7"
20 BR2_LINUX_KERNEL_DTS_SUPPORT=y
21 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6sl-evk"
24 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/common/imx/post-image.sh"
25 BR2_TARGET_ROOTFS_EXT2=y
27 # required tools to create the microSD image
28 BR2_PACKAGE_HOST_DOSFSTOOLS=y
29 BR2_PACKAGE_HOST_GENIMAGE=y
30 BR2_PACKAGE_HOST_MTOOLS=y
34 BR2_TARGET_UBOOT_BOARDNAME="mx6slevk"
35 BR2_TARGET_UBOOT_FORMAT_IMX=y
36 BR2_TARGET_UBOOT_CUSTOM_GIT=y
37 BR2_TARGET_UBOOT_CUSTOM_REPO_URL="git://git.freescale.com/imx/uboot-imx.git"
38 BR2_TARGET_UBOOT_CUSTOM_REPO_VERSION="rel_imx_4.1.15_2.0.0_ga"