7 # Linux headers same as kernel, a 5.10 series
8 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_5_10=y
11 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc0"
13 # required tools to create the SD card image
14 BR2_PACKAGE_HOST_DOSFSTOOLS=y
15 BR2_PACKAGE_HOST_GENIMAGE=y
16 BR2_PACKAGE_HOST_MTOOLS=y
19 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/common/imx/post-image.sh"
20 BR2_TARGET_ROOTFS_EXT2=y
21 BR2_TARGET_ROOTFS_EXT2_4=y
25 BR2_TARGET_UBOOT_BOARDNAME="mx6sabresd"
26 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
27 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2020.07"
28 BR2_TARGET_UBOOT_FORMAT_IMG=y
29 BR2_TARGET_UBOOT_SPL=y
30 BR2_TARGET_UBOOT_SPL_NAME="SPL"
34 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
35 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="5.10"
36 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
37 BR2_LINUX_KERNEL_DTS_SUPPORT=y
38 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6q-sabresd imx6dl-sabresd imx6qp-sabresd"
39 BR2_LINUX_KERNEL_NEEDS_HOST_OPENSSL=y