pintos-os.org Git - pintos-anon/blob - lib/user/fullpage.lds

   1 OUTPUT_FORMAT("elf32-i386")
   2 OUTPUT_ARCH(i386)
   3 ENTRY(_start)
   4
   5 SECTIONS
   6 {
   7   /* Read-only sections, merged into text segment: */
   8   . = 0x08048000 + SIZEOF_HEADERS;
   9   .text : { *(.text) . = ALIGN(0x1000); } = 0x90
  10   .rodata : { *(.rodata) . = ALIGN(0x1000); }
  11   .data : { *(.data) . = ALIGN(0x1000); }
  12   .bss : { *(.bss) . = ALIGN(0x1000); }
  13
  14   /* Stabs debugging sections.  */
  15   .stab          0 : { *(.stab) }
  16   .stabstr       0 : { *(.stabstr) }
  17   .stab.excl     0 : { *(.stab.excl) }
  18   .stab.exclstr  0 : { *(.stab.exclstr) }
  19   .stab.index    0 : { *(.stab.index) }
  20   .stab.indexstr 0 : { *(.stab.indexstr) }
  21   .comment       0 : { *(.comment) }
  22
  23   /* DWARF debug sections.
  24   Symbols in the DWARF debugging sections are relative to the beginning
  25   of the section so we begin them at 0.  */
  26   /* DWARF 1 */
  27   .debug          0 : { *(.debug) }
  28   .line           0 : { *(.line) }
  29   /* GNU DWARF 1 extensions */
  30   .debug_srcinfo  0 : { *(.debug_srcinfo) }
  31   .debug_sfnames  0 : { *(.debug_sfnames) }
  32   /* DWARF 1.1 and DWARF 2 */
  33   .debug_aranges  0 : { *(.debug_aranges) }
  34   .debug_pubnames 0 : { *(.debug_pubnames) }
  35   /* DWARF 2 */
  36   .debug_info     0 : { *(.debug_info .gnu.linkonce.wi.*) }
  37   .debug_abbrev   0 : { *(.debug_abbrev) }
  38   .debug_line     0 : { *(.debug_line) }
  39   .debug_frame    0 : { *(.debug_frame) }
  40   .debug_str      0 : { *(.debug_str) }
  41   .debug_loc      0 : { *(.debug_loc) }
  42   .debug_macinfo  0 : { *(.debug_macinfo) }
  43   /* SGI/MIPS DWARF 2 extensions */
  44   .debug_weaknames 0 : { *(.debug_weaknames) }
  45   .debug_funcnames 0 : { *(.debug_funcnames) }
  46   .debug_typenames 0 : { *(.debug_typenames) }
  47   .debug_varnames  0 : { *(.debug_varnames) }
  48   /DISCARD/ : { *(.note.GNU-stack) }
  49   /DISCARD/ : { *(.eh_frame) }
  50 }