pintos-os.org Git - pintos-anon/blob - src/threads/kernel.lds

   1 /* ld script to make i386 Linux kernel
   2  * Written by Martin Mares <mj@atrey.karlin.mff.cuni.cz>;
   3  */
   4 OUTPUT_FORMAT("elf32-i386", "elf32-i386", "elf32-i386")
   5 OUTPUT_ARCH(i386)
   6 ENTRY(start)
   7 SECTIONS
   8 {
   9   . = 0xC0100000;
  10   _text = .;                    /* Text and read-only data */
  11   .text : {
  12         *(.text)
  13         *(.fixup)
  14         *(.gnu.warning)
  15         } = 0x9090
  16
  17   _etext = .;                   /* End of text section */
  18
  19   .rodata : { *(.rodata) *(.rodata.*) }
  20   .kstrtab : { *(.kstrtab) }
  21
  22   .data : {                     /* Data */
  23         *(.data)
  24         CONSTRUCTORS
  25         }
  26
  27   _edata = .;                   /* End of data section */
  28
  29   __bss_start = .;              /* BSS */
  30   .bss : {
  31         *(.bss)
  32         }
  33   _end = . ;
  34 }