diff --git a/src/mainboard/emulation/spike-riscv/Kconfig.name b/src/mainboard/emulation/spike-riscv/Kconfig.name
index 66266f7293..2869425dd0 100644
--- a/src/mainboard/emulation/spike-riscv/Kconfig.name
+++ b/src/mainboard/emulation/spike-riscv/Kconfig.name
@@ -3,5 +3,5 @@ config BOARD_EMULATION_SPIKE_UCB_RISCV
 	help
 	  To run coreboot in spike:
 	  * run "make" as usual
-	  * util/riscvtools/make-spike-elf.sh build/coreboot.{rom,elf}
+	  * util/riscv/make-spike-elf.sh build/coreboot.{rom,elf}
 	  * spike -m1024 build/coreboot.elf
diff --git a/util/riscvtools/make-spike-elf.sh b/util/riscv/make-spike-elf.sh
similarity index 100%
rename from util/riscvtools/make-spike-elf.sh
rename to util/riscv/make-spike-elf.sh
diff --git a/util/riscvtools/spike-elf.ld b/util/riscv/spike-elf.ld
similarity index 100%
rename from util/riscvtools/spike-elf.ld
rename to util/riscv/spike-elf.ld