3 # Linux headers same as kernel, a 4.8 series
4 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_8=y
5 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc1"
6 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/udoo/post-image.sh"
7 BR2_TARGET_ROOTFS_EXT2=y
8 BR2_TARGET_ROOTFS_EXT2_4=y
10 BR2_TARGET_UBOOT_BOARDNAME="udoo"
11 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
12 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2016.09.01"
13 BR2_TARGET_UBOOT_FORMAT_IMG=y
14 BR2_TARGET_UBOOT_SPL=y
15 BR2_TARGET_UBOOT_SPL_NAME="SPL"
17 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
18 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.8.11"
19 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
20 BR2_LINUX_KERNEL_CONFIG_FRAGMENT_FILES="board/udoo/linux.fragment"
21 BR2_LINUX_KERNEL_DTS_SUPPORT=y
22 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6q-udoo imx6dl-udoo"
23 # required tools to create the SD card image
24 BR2_PACKAGE_HOST_DOSFSTOOLS=y
25 BR2_PACKAGE_HOST_GENIMAGE=y
26 BR2_PACKAGE_HOST_MTOOLS=y