1  /* See make-spike-elf.sh */
 2  
 3  ENTRY(_start);
 4  SECTIONS
 5  {
 6  	. = 0x80000000;
 7  	_start = .;
 8  	.data : {
 9  		*(.data)
10  	}
11  
12  	tohost = .;
13  	. = . + 8;
14  	fromhost = .;
15  }