5 # Linux headers same as kernel, a 4.8 series
6 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_8=y
9 BR2_TARGET_GENERIC_GETTY_PORT="ttyAMA0"
13 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
14 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.8.6"
15 BR2_LINUX_KERNEL_DEFCONFIG="mxs"
16 BR2_LINUX_KERNEL_DTS_SUPPORT=y
17 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx23-evk"
21 BR2_TARGET_UBOOT_BOARDNAME="mx23evk"
22 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
23 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2016.09.01"
24 BR2_TARGET_UBOOT_FORMAT_SD=y
27 BR2_TARGET_ROOTFS_EXT2=y
28 BR2_TARGET_ROOTFS_EXT4=y
30 # To generate SD card image
31 BR2_PACKAGE_HOST_DOSFSTOOLS=y
32 BR2_PACKAGE_HOST_GENIMAGE=y
33 BR2_PACKAGE_HOST_MTOOLS=y
34 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/common/mxs/post-image.sh"