| BR2_arm=y |
| BR2_cortex_a9=y |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_12=y |
| BR2_ROOTFS_POST_IMAGE_SCRIPT="board/technologic/ts4900/post-image.sh" |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.12" |
| BR2_LINUX_KERNEL_DEFCONFIG="imx_v6_v7" |
| BR2_LINUX_KERNEL_UIMAGE=y |
| BR2_LINUX_KERNEL_UIMAGE_LOADADDR="0x10008000" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx6q-ts4900" |
| BR2_LINUX_KERNEL_INSTALL_TARGET=y |
| BR2_PACKAGE_TS4900_FPGA=y |
| BR2_TARGET_ROOTFS_EXT2=y |
| BR2_PACKAGE_HOST_GENIMAGE=y |
