3 ## Building coreboot and running it in QEMU
5 - Configure coreboot and run `make` as usual
6 - Run `util/riscv/make-spike-elf.sh build/coreboot.rom build/coreboot.elf` to
7 convert coreboot to an ELF that QEMU can load
8 - Run `qemu-system-riscv64 -M virt -m 1024M -nographic -kernel build/coreboot.elf`