diff --git a/src/mainboard/emulation/spike-riscv/Kconfig b/src/mainboard/emulation/spike-riscv/Kconfig index ab5e7c9c8c..67161f331a 100644 --- a/src/mainboard/emulation/spike-riscv/Kconfig +++ b/src/mainboard/emulation/spike-riscv/Kconfig @@ -12,9 +12,6 @@ ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ## GNU General Public License for more details. -# To execute, do: -# qemu-system-arm -M vexpress-a9 -m 1024M -nographic -kernel build/coreboot.rom - if BOARD_EMULATION_SPIKE_UCB_RISCV config BOARD_SPECIFIC_OPTIONS # dummy 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