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) {
44 gKernelModulesEnd = .;
48 gKernelSymbolsEnd = .;
51 .padata ALIGN (0x1000) : AT(ADDR(.padata) - _kernel_base) {
55 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
60 .bss : AT(ADDR(.bss) - _kernel_base) {
66 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;