The Spike platform support works perfectly fine on QEMU RV64 Spike machine and Spike emulator. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
@@ -94,6 +94,7 @@ case "${BUILD_RISCV_XLEN}" in
BUILD_PLATFORM_SUBDIR+=("ariane-fpga")
BUILD_PLATFORM_SUBDIR+=("andes/ae350")
BUILD_PLATFORM_SUBDIR+=("thead/c910")
+ BUILD_PLATFORM_SUBDIR+=("spike")
;;
*)
echo "Invalid RISC-V XLEN"