kumquat-buildroot/configs/freescale_t1040d4rdb_defconfig
Vincent Stehlé f68f4de8a9 configs/freescale_{p1025twr, t1040d4rdb}: headers version
The freescale p1025twr and t1040d4rdb defconfigs use a 4.15 series kernel;
specify BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15 accordingly.

This fixes the following build error:

  Incorrect selection of kernel headers: expected 4.16.x, got 4.15.x

Signed-off-by: Vincent Stehlé <vincent.stehle@laposte.net>
Cc: Matthew Weber <matthew.weber@rockwellcollins.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
2018-04-12 23:30:31 +02:00

24 lines
573 B
Plaintext

# Architecture
BR2_powerpc64=y
BR2_powerpc_e5500=y
# Linux headers same as kernel, a 4.15 series
BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y
# Serial port config
BR2_TARGET_GENERIC_GETTY_PORT="ttyS0"
# Kernel
BR2_LINUX_KERNEL=y
BR2_LINUX_KERNEL_CUSTOM_VERSION=y
BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.15.7"
BR2_LINUX_KERNEL_DEFCONFIG="corenet64_smp"
BR2_LINUX_KERNEL_DTS_SUPPORT=y
BR2_LINUX_KERNEL_INTREE_DTS_NAME="fsl/t1040d4rdb"
# Filesystem
BR2_TARGET_ROOTFS_CPIO=y
BR2_TARGET_ROOTFS_CPIO_GZIP=y
BR2_TARGET_ROOTFS_CPIO_UIMAGE=y
# BR2_TARGET_ROOTFS_TAR is not set