SECTIONS {
  . = 0xffffffff80000000;
  .text ALIGN(0x1000) : {
    _text_start = .;
    *(.text*)
    _text_end = .;
  }
  .rodata ALIGN(0x1000) : {
    _rodata_start = .;
    *(.rodata*)
    _rodata_end = .;
  }
  .data ALIGN(0x1000) : {
    _data_start = .;
    *(.data*)
    *(.got)
    _data_end = .;
  }
  .bss ALIGN(0x1000) : {
    _bss_start = .;
    *(.bss*)
    _bss_end = .;
  }
}