3 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_6_6=y
4 BR2_GLOBAL_PATCH_DIR="board/spike/riscv64/patches"
5 BR2_DOWNLOAD_FORCE_CHECK_HASHES=y
7 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
8 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="6.6.35"
9 BR2_LINUX_KERNEL_USE_ARCH_DEFAULT_CONFIG=y
10 BR2_TARGET_ROOTFS_CPIO=y
11 # BR2_TARGET_ROOTFS_TAR is not set
13 BR2_TARGET_OPENSBI_CUSTOM_VERSION=y
14 BR2_TARGET_OPENSBI_CUSTOM_VERSION_VALUE="1.4"
15 BR2_TARGET_OPENSBI_PLAT="generic"
16 BR2_TARGET_OPENSBI_LINUX_PAYLOAD=y
17 BR2_PACKAGE_HOST_RISCV_ISA_SIM=y