1BR2_arm=y 2BR2_cortex_a9=y 3BR2_ARM_ENABLE_NEON=y 4BR2_ARM_ENABLE_VFP=y 5BR2_ARM_FPU_VFPV3=y 6# Linux headers same as kernel, a 4.14 series 7BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_14=y 8BR2_TARGET_GENERIC_GETTY_PORT="ttymxc0" 9BR2_TARGET_ROOTFS_EXT2=y 10BR2_TARGET_ROOTFS_EXT2_4=y 11BR2_TARGET_UBOOT=y 12BR2_TARGET_UBOOT_BOARDNAME="mx6slevk" 13BR2_TARGET_UBOOT_CUSTOM_VERSION=y 14BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2018.11" 15BR2_TARGET_UBOOT_FORMAT_IMX=y 16BR2_LINUX_KERNEL=y 17BR2_LINUX_KERNEL_CUSTOM_VERSION=y 18BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.14" 19BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7" 20BR2_LINUX_KERNEL_DTS_SUPPORT=y 21BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6sl-evk" 22BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/common/imx/post-image.sh" 23# required tools to create the SD card image 24BR2_PACKAGE_HOST_DOSFSTOOLS=y 25BR2_PACKAGE_HOST_GENIMAGE=y 26BR2_PACKAGE_HOST_MTOOLS=y 27