configs/spike_riscv32_defconfig

   1 BR2_riscv=y
   2 BR2_RISCV_32=y
   3 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_6_6=y
   4 BR2_GLOBAL_PATCH_DIR="board/spike/riscv32/patches"
   5 BR2_DOWNLOAD_FORCE_CHECK_HASHES=y
   6 BR2_LINUX_KERNEL=y
   7 BR2_LINUX_KERNEL_CUSTOM_VERSION=y
   8 BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="6.6.35"
   9 BR2_LINUX_KERNEL_DEFCONFIG="rv32"
  10 BR2_TARGET_ROOTFS_CPIO=y
  11 # BR2_TARGET_ROOTFS_TAR is not set
  12 BR2_TARGET_OPENSBI=y
  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