674e099678
For most defconfigs, it was trivial to deduce the kernel version, by just reading the version string, which could be: - a standard upstream version string vX.Y.Z - a non-standard version string, but still containg the standard X.Y.Z Those for which it was not so trivial were those hosted on git tree. Since most were already using a custom linux-headers version, it could be easily deduced from that. It was confirmed by browsing said git trees and check the version there. There are a few cases were there was a mismatch: - microzed: uses a 3.18 kernel, but 3.8 headers; fixed. - xilinx_zc706: uses a 3.14 kernel, but 3.8 headers; fixed. - zedboard: uses a 3.18 kernel, but 3.8 headers; fixed. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Cc: Peter Korsgaard <peter@korsgaard.com> Cc: Gustavo Zacarias <gustavo@zacarias.com.ar> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
20 lines
516 B
Plaintext
20 lines
516 B
Plaintext
# Architecture
|
|
BR2_arcle=y
|
|
BR2_archs38=y
|
|
|
|
# System
|
|
BR2_TARGET_GENERIC_HOSTNAME="hs38_vdk"
|
|
BR2_TARGET_GENERIC_ISSUE="Welcome to the HS38 VDK Software Development Platform"
|
|
BR2_ROOTFS_OVERLAY="board/synopsys/axs10x/fs-overlay"
|
|
BR2_TARGET_ROOTFS_EXT2=y
|
|
|
|
# Linux headers same as kernel, a 4.2 series
|
|
BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_2=y
|
|
|
|
# Kernel
|
|
BR2_LINUX_KERNEL=y
|
|
BR2_LINUX_KERNEL_CUSTOM_VERSION=y
|
|
BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.2"
|
|
BR2_LINUX_KERNEL_DEFCONFIG="vdk_hs38_smp"
|
|
BR2_LINUX_KERNEL_VMLINUX=y
|