2 * GRUB -- GRand Unified Bootloader
3 * Copyright (C) 2005,2006,2007,2008,2009 Free Software Foundation, Inc.
5 * GRUB is free software: you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation, either version 3 of the License, or
8 * (at your option) any later version.
10 * GRUB is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
19 #ifndef GRUB_KERNEL_MACHINE_HEADER
20 #define GRUB_KERNEL_MACHINE_HEADER 1
22 /* The offset of GRUB_KERNEL_IMAGE_SIZE. */
23 #define GRUB_KERNEL_MACHINE_KERNEL_IMAGE_SIZE 0xc
25 /* The offset of GRUB_PREFIX. */
26 #define GRUB_KERNEL_MACHINE_PREFIX 0x10
28 /* End of the data section. */
29 #define GRUB_KERNEL_MACHINE_DATA_END 0x50
33 #include <grub/symbol.h>
34 #include <grub/types.h>
36 extern grub_addr_t grub_core_entry_addr
;
38 /* The size of kernel image. */
39 extern grub_int32_t grub_kernel_image_size
;
41 /* The total size of module images following the kernel. */
42 extern grub_int32_t grub_total_module_size
;
44 /* The prefix which points to the directory where GRUB modules and its
45 configuration file are located. */
46 extern char grub_prefix
[];
48 #endif /* ! ASM_FILE */
50 #endif /* ! GRUB_KERNEL_MACHINE_HEADER */