improve RISC-V multi core boot - #132

Draft

axel-h wants to merge 12 commits into

seL4:masterfrom

axel-h:patch-axel-7

Commits on Jul 15, 2025

elfloader/risc-v: clarify types
axel-h
committed
034026d
elfloader/risc-v: improve comments
axel-h
committed
70d950e
elfloader/risc-v: inline constants
axel-h
committed
c332fd6
elfloader/risc-v: map_kernel_window() never fails
axel-h
committed
938278b
elfloader/risc-v: do HSM check only once
axel-h
committed
2ce2636
elfloader/risc-v: add multi core helper functions
axel-h
committed
4e3ce3e
add handover_to_next_boot_stage()
axel-h
committed
7577ed1
elfloader/risc-v: add helper function smp_init()
axel-h
committed
bf4dd46
elfloader/risc-v: no need to use t0
axel-h
committed
0b39253
elfloader/risc-v: fix sbi_hart_start()
axel-h
committed
170008e
elfloader/risc-v: store hard ID for core
axel-h
committed
5423b99
elfloader/risc-v: support random boot order
axel-h
committed
728c707