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

/* See make-spike-elf.sh */

ENTRY(_start);
SECTIONS
{
	. = 0x80000000;
	_start = .;
	.data : {
		*(.data)
	}
}