Changeset 0e63d34 in mainline for boot/arch/arm32/src/main.c
- Timestamp:
- 2013-01-24T21:15:02Z (11 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 077b9172, 24bead17
- Parents:
- c124dce3
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
boot/arch/arm32/src/main.c
rc124dce3 r0e63d34 153 153 printf(".\n"); 154 154 155 void *kernel_end = (void *) PA2KA(BOOT_OFFSET + components[0].inflated);156 155 printf("Booting the kernel...\n"); 157 156 jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);
Note:
See TracChangeset
for help on using the changeset viewer.