KERNEL_VMA = 0xffffff0000100000;

SECTIONS
{

  . = KERNEL_VMA;

  /DISCARD/ : {
    *(.comment)
    *(note.*)
  }

  .rodata : AT(ADDR(.rodata) - 0xffffff0000000000)
  {
    *( .rodata .rodata.* )
    . = ALIGN(4K);
  }

  .data : AT(ADDR(.data) - 0xffffff0000000000)
  {
    *( .data .data.* )
    . = ALIGN(4K);
  }

  .bss : AT(ADDR(.bss) - 0xffffff0000000000)
  {
    *( .bss .bss.* )
    . = ALIGN(4K);
  }

  .text : AT(ADDR(.text) - 0xffffff0000000000)
  {
    *( .text .text.* )
    . = ALIGN(4K);
  }


}