fd0803d0f6
Instead of downloading a *different* version of the kernel for the headers as for the headers itself, use the same one. BR2_KERNEL_HEADERS_AS_KERNEL is the default, but we have to set the custom version. Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
21 lines
579 B
Plaintext
21 lines
579 B
Plaintext
# Architecture
|
|
BR2_arcle=y
|
|
BR2_archs38=y
|
|
|
|
# System
|
|
BR2_TARGET_GENERIC_HOSTNAME="archs38_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.9 series
|
|
BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_9=y
|
|
|
|
# Kernel
|
|
BR2_LINUX_KERNEL=y
|
|
BR2_LINUX_KERNEL_CUSTOM_VERSION=y
|
|
BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.9.6"
|
|
BR2_LINUX_KERNEL_PATCH="board/synopsys/vdk/patches/linux"
|
|
BR2_LINUX_KERNEL_DEFCONFIG="vdk_hs38_smp"
|
|
BR2_LINUX_KERNEL_VMLINUX=y
|