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