9 BR2_TARGET_GENERIC_GETTY=y
10 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc1"
13 BR2_TARGET_ROOTFS_EXT2=y
14 BR2_TARGET_ROOTFS_EXT2_2r1=y
15 BR2_ROOTFS_OVERLAY="board/embest/riotboard/rootfs_overlay"
19 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
20 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2015.10"
21 BR2_TARGET_UBOOT_BOARDNAME="riotboard"
22 BR2_TARGET_UBOOT_FORMAT_IMX=y
24 # Linux headers same as kernel, a 4.2 series
25 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_2=y
29 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
30 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.2.6"
31 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
32 BR2_LINUX_KERNEL_UIMAGE=y
33 BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x10008000"
34 BR2_LINUX_KERNEL_DTS_SUPPORT=y
35 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6dl-riotboard"
36 BR2_LINUX_KERNEL_INSTALL_TARGET=y