OUTPUT_FORMAT("binary")

SECTIONS {
  .text 0x100000: 
  {
    *(.text)
  }

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

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

  .bss : {
    *(.bss)
   }

   kernel_end = .;
}