OUTPUT_ARCH(aarch64)
ENTRY(_guest_start)

GUEST_BASE = 0x40000000;

SECTIONS
{
  . = GUEST_BASE;
  __guest_start_addr = .;

  .text : ALIGN(4096) {
    KEEP(*(.text.entry))
    KEEP(*(.text.vectors))
    *(.text .text.*)
  }

  .rodata : ALIGN(16) {
    *(.rodata .rodata.*)
  }

  .data : ALIGN(16) {
    *(.data .data.*)
  }

  .bss : ALIGN(16) {
    __guest_bss_start = .;
    *(.bss .bss.* COMMON)
    __guest_bss_end = .;
  }

  . = ALIGN(4096);
  __guest_image_end = .;
}