| BR2_riscv=y |
| BR2_RISCV_64=y |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="6.1.14" |
| BR2_LINUX_KERNEL_USE_ARCH_DEFAULT_CONFIG=y |
| BR2_LINUX_KERNEL_CONFIG_FRAGMENT_FILES="board/spike/riscv64/linux.fragment" |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_6_1=y |
| 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.2" |
| BR2_TARGET_OPENSBI_PLAT="generic" |
| BR2_TARGET_OPENSBI_LINUX_PAYLOAD=y |
| BR2_PACKAGE_HOST_RISCV_ISA_SIM=y |
