6 /* _kernel_base = 0xFFFF800000000000; */
8 _kernel_base = 0xFFFFFFFF80000000;
11 OUTPUT_FORMAT(elf32-i386)
12 OUTPUT_ARCH(i386:x86-64)
14 OUTPUT_FORMAT(elf64-x86-64)
15 lstart = start - _kernel_base;
23 .multiboot : AT(ADDR(.multiboot)) {
29 .text ALIGN(0x1000): AT(ADDR(.text) - _kernel_base) {
33 .usertext ALIGN(0x1000): AT(ADDR(.usertext) - _kernel_base) {
39 .rodata ALIGN(0x1000): AT(ADDR(.rodata) - _kernel_base) {
47 gKernelModulesEnd = .;
51 gKernelSymbolsEnd = .;
54 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
60 .bss : AT(ADDR(.bss) - _kernel_base) {
64 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;