OUTPUT_FORMAT("binary")

. = 0x8200;

SECTIONS {
  .prelude : {
    *(.prelude)
  }
  
  .text : {
    *(.text)
    *(.text.*)
  }
  
  .data : {
    *(.data)
    *(.data.*)
  }
  
  .bss : {
    *(.bss)
    *(.bss.*)
  }
  
  .rodata : {
    *(.rodata)
    *(.rodata.*)
  }
  
  /* Define a symbol for the total length of the binary, so the prelude knows how many blocks to
   * load from disk.
   */
  boot1_bin_len = . - 0x8200;
}