6 _kernel_base = 0xFFFF800000000000;
8 OUTPUT_FORMAT(elf32-i386)
9 OUTPUT_ARCH(i386:x86-64)
17 .multiboot : AT(ADDR(.multiboot)) {
23 .text ALIGN(0x1000): AT(ADDR(.text) - _kernel_base) {
27 .usertext ALIGN(0x1000): AT(ADDR(.usertext) - _kernel_base) {
33 .rodata ALIGN(0x1000): AT(ADDR(.rodata) - _kernel_base) {
39 gKernelModulesEnd = .;
43 gKernelSymbolsEnd = .;
46 .debug_abbrev : { *(.debug_abbrev) }
47 .debug_info : { *(.debug_info) }
48 .debug_line : { *(.debug_line) }
49 .debug_loc : { *(.debug_loc) }
50 .debug_pubnames : { *(.debug_pubnames) }
51 .debug_aranges : { *(.debug_aranges) }
52 .debug_ranges : { *(.debug_ranges) }
53 .debug_str : { *(.debug_str) }
54 .debug_frame : { *(.debug_frame) }
57 .padata ALIGN (0x1000) : AT(ADDR(.padata) - _kernel_base) {
61 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
66 .bss : AT(ADDR(.bss) - _kernel_base) {
72 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;