/* See make-spike-elf.sh */
ENTRY(_start);
SECTIONS
{
. = 0x80000000;
_start = .;
.data : {
*(.data)
}