| BR2_riscv=y |
| BR2_RISCV_32=y |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_6_6=y |
| BR2_GLOBAL_PATCH_DIR="board/spike/riscv32/patches" |
| BR2_DOWNLOAD_FORCE_CHECK_HASHES=y |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="6.6.35" |
| BR2_LINUX_KERNEL_DEFCONFIG="rv32" |
| BR2_TARGET_ROOTFS_CPIO=y |
| # BR2_TARGET_ROOTFS_TAR is not set |
| BR2_TARGET_OPENSBI=y |
| BR2_TARGET_OPENSBI_CUSTOM_VERSION=y |
| BR2_TARGET_OPENSBI_CUSTOM_VERSION_VALUE="1.4" |
| BR2_TARGET_OPENSBI_PLAT="generic" |
| BR2_TARGET_OPENSBI_LINUX_PAYLOAD=y |
| BR2_PACKAGE_HOST_RISCV_ISA_SIM=y |
