6 BR2_TARGET_GENERIC_HOSTNAME="hs38_vdk"
7 BR2_TARGET_GENERIC_ISSUE="Welcome to the HS38 VDK Software Development Platform"
8 BR2_ROOTFS_OVERLAY="board/synopsys/axs10x/fs-overlay"
9 BR2_TARGET_ROOTFS_EXT2=y
11 # Linux headers same as kernel, a 4.2 series
12 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_2=y
16 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
17 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.2"
18 BR2_LINUX_KERNEL_DEFCONFIG="vdk_hs38_smp"
19 BR2_LINUX_KERNEL_VMLINUX=y