random: Fix behavior of kernel option "-rs".
[pintos-anon] / 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 }