OUTPUT_ARCH(aarch64)
ENTRY(_start)

HV_BASE = 0x40080000;

SECTIONS
{
  . = HV_BASE;
  __image_start = .;

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

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

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

  .bss : ALIGN(4096) {
    __bss_start = .;
    *(.bss .bss.* COMMON)
    __bss_end = .;
  }

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