diff options
Diffstat (limited to 'src/mainboard/emulation/spike-riscv/Kconfig.name')
| -rw-r--r-- | src/mainboard/emulation/spike-riscv/Kconfig.name | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mainboard/emulation/spike-riscv/Kconfig.name b/src/mainboard/emulation/spike-riscv/Kconfig.name index 36dd509eb0..66266f7293 100644 --- a/src/mainboard/emulation/spike-riscv/Kconfig.name +++ b/src/mainboard/emulation/spike-riscv/Kconfig.name @@ -1,2 +1,7 @@ config BOARD_EMULATION_SPIKE_UCB_RISCV bool "SPIKE ucb riscv" + help + To run coreboot in spike: + * run "make" as usual + * util/riscvtools/make-spike-elf.sh build/coreboot.{rom,elf} + * spike -m1024 build/coreboot.elf |