diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mainboard/emulation/spike-riscv/Kconfig.name | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/mainboard/emulation/spike-riscv/Kconfig.name b/src/mainboard/emulation/spike-riscv/Kconfig.name index 3a82ab1a66..17549c6ebb 100644 --- a/src/mainboard/emulation/spike-riscv/Kconfig.name +++ b/src/mainboard/emulation/spike-riscv/Kconfig.name @@ -1,7 +1,3 @@ config BOARD_EMULATION_SPIKE_RISCV bool "SPIKE riscv" help - To run coreboot in spike: - * run "make" as usual - * util/riscv/make-spike-elf.sh build/coreboot.{rom,elf} - * spike -m1024 build/coreboot.elf |