6 /* _kernel_base = 0xFFFF800000000000; */
8 _kernel_base = 0xFFFFFFFF80000000;
10 OUTPUT_FORMAT(elf32-i386)
11 OUTPUT_ARCH(i386:x86-64)
19 .multiboot : AT(ADDR(.multiboot)) {
25 .text ALIGN(0x1000): AT(ADDR(.text) - _kernel_base) {
29 .usertext ALIGN(0x1000): AT(ADDR(.usertext) - _kernel_base) {
35 .rodata ALIGN(0x1000): AT(ADDR(.rodata) - _kernel_base) {
43 gKernelModulesEnd = .;
47 gKernelSymbolsEnd = .;
50 .padata ALIGN (0x1000) : AT(ADDR(.padata) - _kernel_base) {
54 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
59 .bss : AT(ADDR(.bss) - _kernel_base) {
65 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;