9 BR2_TARGET_GENERIC_GETTY=y
10 BR2_TARGET_GENERIC_GETTY_PORT="ttymxc1"
14 BR2_TARGET_UBOOT_CUSTOM_VERSION=y
15 BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2018.07"
16 BR2_TARGET_UBOOT_BOARDNAME="riotboard"
17 BR2_TARGET_UBOOT_FORMAT_IMX=y
19 # Linux headers same as kernel, a 4.18 series
20 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_18=y
24 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
25 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.18.10"
26 BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7"
27 BR2_LINUX_KERNEL_DTS_SUPPORT=y
28 BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6dl-riotboard"
29 BR2_LINUX_KERNEL_INSTALL_TARGET=y
30 BR2_LINUX_KERNEL_NEEDS_HOST_OPENSSL=y
32 # required tools to create the SD card image
33 BR2_PACKAGE_HOST_DOSFSTOOLS=y
34 BR2_PACKAGE_HOST_GENIMAGE=y
35 BR2_PACKAGE_HOST_MTOOLS=y
38 BR2_TARGET_ROOTFS_EXT2=y
39 BR2_TARGET_ROOTFS_EXT2_4=y
40 BR2_ROOTFS_OVERLAY="board/embest/riotboard/rootfs_overlay"
41 BR2_ROOTFS_POST_IMAGE_SCRIPT="support/scripts/genimage.sh"
42 BR2_ROOTFS_POST_SCRIPT_ARGS="-c board/embest/riotboard/genimage.cfg"