Changeset cfdeedc in mainline for boot/arch/ia64
- Timestamp:
- 2018-10-21T23:12:23Z (7 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- bf05c74
- Parents:
- d59718e
- git-author:
- Jiří Zárevúcky <zarevucky.jiri@…> (2018-10-21 22:53:48)
- git-committer:
- Jiří Zárevúcky <zarevucky.jiri@…> (2018-10-21 23:12:23)
- Location:
- boot/arch/ia64
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
boot/arch/ia64/Makefile.inc
rd59718e rcfdeedc 61 61 generic/src/tar.c \ 62 62 generic/src/gzip.c \ 63 generic/src/kernel.c \ 63 64 generic/src/payload.c 64 65 -
boot/arch/ia64/include/arch/arch.h
rd59718e rcfdeedc 36 36 #define LOADER_ADDRESS 0x4400000 37 37 #define KERNEL_ADDRESS 0x4800000 38 #define KERNEL_VADDRESS 0xe000000004800000 38 39 39 40 #define STACK_SIZE 8192 -
boot/arch/ia64/src/main.c
rd59718e rcfdeedc 44 44 #include <errno.h> 45 45 #include <payload.h> 46 #include <kernel.h> 46 47 47 48 #define DEFAULT_MEMORY_BASE 0x4000000ULL … … 182 183 (uintptr_t) kernel_start, NULL); 183 184 184 printf("Booting the kernel ...\n"); 185 jump_to_kernel(&bootinfo, kernel_start); 185 uintptr_t entry = check_kernel(kernel_start); 186 187 // FIXME: kernel's entry point is linked at a different address than 188 // where it is run from. 189 entry = entry - KERNEL_VADDRESS + KERNEL_ADDRESS; 190 191 printf("Booting the kernel at %p...\n", (void *) entry); 192 jump_to_kernel(&bootinfo, (void *) entry); 186 193 }
Note:
See TracChangeset
for help on using the changeset viewer.