coreboot-kgpe-d16/util/riscvtools
..
make-spike-elf.sh
spike-elf.ld