| # Architecture |
| BR2_arm=y |
| BR2_arm926t=y |
| |
| # Linux headers same as kernel, a 4.6 series |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_6=y |
| |
| # System |
| BR2_TARGET_GENERIC_GETTY_PORT="ttymxc0" |
| |
| # required tools to create the SD card image |
| BR2_PACKAGE_HOST_DOSFSTOOLS=y |
| BR2_PACKAGE_HOST_GENIMAGE=y |
| BR2_PACKAGE_HOST_MTOOLS=y |
| |
| # Filesystem |
| BR2_ROOTFS_POST_IMAGE_SCRIPT="board/freescale/imx25pdk/post-image.sh" |
| BR2_TARGET_ROOTFS_EXT2=y |
| BR2_TARGET_ROOTFS_EXT2_4=y |
| |
| # Bootloader |
| BR2_TARGET_UBOOT=y |
| BR2_TARGET_UBOOT_BOARDNAME="mx25pdk" |
| BR2_TARGET_UBOOT_CUSTOM_VERSION=y |
| BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2016.05" |
| BR2_TARGET_UBOOT_FORMAT_IMX=y |
| |
| # Kernel |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.6.1" |
| BR2_LINUX_KERNEL_DEFCONFIG="imx_v4_v5" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="imx25-pdk" |
