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.05.x
Vincent Stehlé 2018-04-12 23:26:06 +02:00 committed by Thomas Petazzoni
parent 84a5fc007f
commit f68f4de8a9
2 changed files with 6 additions and 0 deletions

View File

@ -2,6 +2,9 @@
BR2_powerpc=y
BR2_powerpc_8548=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"

View File

@ -2,6 +2,9 @@
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"