2 * Copyright (c) 2007, 2008, ETH Zurich.
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
10 #include <target/x86_64/offsets_target.h>
12 OUTPUT_FORMAT("elf64-x86-64")
13 OUTPUT_ARCH("i386:x86-64")
14 /* OUTPUT_ARCH(k1om)*/
16 _start_kernel = X86_64_START_KERNEL_PHYS;
22 /* Be careful parts of head_64.S assume startup_32 is at
31 .rodata..compressed : {
32 *(.rodata..compressed)
42 *(.rodata) /* read-only data */
58 . = ALIGN((1 << (6)));
64 . = ALIGN(8); /* For convenience during zeroing */
75 /***** These sections get discarded *****/
78 /* Discard exception handler frames and headers -- we don't use em */
81 *(.note.gnu.build-id);