![Thomas Petazzoni](/assets/img/avatar_default.png)
The ts4900 defconfig currently fails to build because it selects
kernel headers 4.12, but doesn't specify a kernel version, and
therefore 4.15 is built causing the following error:
Incorrect selection of kernel headers: expected 4.12.x, got 4.15.x
In commit 7c3a7d808e
("configs/ts4900:
bump kernel version to 4.12"), when this defconfig was switched from
using a vendor provided kernel to the mainline kernel, the kernel
version was no longer explicitly specified.
Since this commit indicated 4.12, and the kernel headers version
selected is also 4.12, we also use that as the fixed kernel version.
Fixes:
https://gitlab.com/buildroot.org/buildroot/-/jobs/55306955
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
17 lines
542 B
Plaintext
17 lines
542 B
Plaintext
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
|