1 /** ia32xen linker script
5 #include <arch/boot/boot.h>
6 #include <arch/mm/page.h>
8 ENTRY(kernel_image_start)
15 .image PA2KA(BOOT_OFFSET): {
22 *(.data); /* initialized data */
23 *(.rodata*); /* string literals */
24 *(COMMON); /* global variables */
25 hardcoded_load_address = .;
27 hardcoded_ktext_size = .;
28 LONG(ktext_end - ktext_start);
29 hardcoded_kdata_size = .;
30 LONG(kdata_end - kdata_start);
32 *(symtab.*); /* Symbol table, must be LAST symbol! */
33 *(.bss); /* uninitialized static variables */