6 BR2_TARGET_GENERIC_HOSTNAME="archs38_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.9 series
12 BR2_KERNEL_HEADERS_4_9=y
16 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
17 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="4.9.6"
18 BR2_LINUX_KERNEL_PATCH="board/synopsys/vdk/patches/linux"
19 BR2_LINUX_KERNEL_DEFCONFIG="vdk_hs38_smp"
20 BR2_LINUX_KERNEL_VMLINUX=y