diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mainboard/emulation/spike-riscv/Kconfig.name | 2 |
1 files changed, 1 insertions, 1 deletions
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 |