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) {
41 gKernelModulesEnd = .;
45 gKernelSymbolsEnd = .;
48 .padata ALIGN (0x1000) : AT(ADDR(.padata) - _kernel_base) {
52 .data ALIGN (0x1000) : AT(ADDR(.data) - _kernel_base) {
57 .bss : AT(ADDR(.bss) - _kernel_base) {
63 gKernelEnd = (. + 0xFFF)&0xFFFFFFFFFFFFF000;