Changeset cfdeedc in mainline for boot/arch/riscv64/src/main.c
- Timestamp:
- 2018-10-21T23:12:23Z (5 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)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
boot/arch/riscv64/src/main.c
rd59718e rcfdeedc 42 42 #include <halt.h> 43 43 #include <payload.h> 44 #include <kernel.h> 44 45 45 46 static bootinfo_t bootinfo; … … 88 89 extract_payload(&bootinfo.taskmap, load_addr, end, kernel_addr, NULL); 89 90 91 uintptr_t entry = check_kernel(load_addr); 92 90 93 printf("Booting the kernel...\n"); 91 jump_to_kernel(PA2KA(&bootinfo) );94 jump_to_kernel(PA2KA(&bootinfo), entry); 92 95 }
Note:
See TracChangeset
for help on using the changeset viewer.