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)
22 .multiboot : AT(ADDR(.multiboot)) {
28 .text ALIGN(0x1000): AT(ADDR(.text) - _kernel_base) {
32 .usertext ALIGN(0x1000): AT(ADDR(.usertext) - _kernel_base) {
38 .rodata ALIGN(0x1000): AT(ADDR(.rodata) - _kernel_base) {
46 gKernelModulesEnd = .;
50 gKernelSymbolsEnd = .;
53 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
59 .bss : AT(ADDR(.bss) - _kernel_base) {
63 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;