4 BR2_ARM_FPU_NEON_VFPV4=y
6 # Linux headers same as kernel, a 4.13 series
7 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_13=y
10 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc4"
14 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
15 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.13"
16 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
17 BR2_LINUX_KERNEL_DTS_SUPPORT=y
18 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx7d-pico"
22 BR2_TARGET_UBOOT_BOARDNAME="pico-imx7d"
23 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
24 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2017.07"
25 BR2_TARGET_UBOOT_FORMAT_IMX=y
27 # required tools to create the eMMC image
28 BR2_PACKAGE_HOST_DOSFSTOOLS=y
29 BR2_PACKAGE_HOST_GENIMAGE=y
30 BR2_PACKAGE_HOST_MTOOLS=y
33 BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/common/imx/post-image.sh"
34 BR2_TARGET_ROOTFS_EXT2=y
35 BR2_TARGET_ROOTFS_EXT2_4=y