seL4_tools icon indicating copy to clipboard operation
seL4_tools copied to clipboard

improve RISC-V multi core boot

Open axel-h opened this issue 3 years ago • 1 comments

  • add much more comments
  • fix SBI HSM register naming quirk
  • Ensure DTB is always passed to primary core boot
  • check SBI HSM error when bringing up secondary harts
  • Stop wrong boot hart via HSM if possible
  • unify stack definitions for all cores
  • add multicore helper functions
  • Drop variable hsm_exists, pass information as parameter
  • Print more log messages

axel-h avatar Nov 13 '21 06:11 axel-h

@axel-h thanks for the changes. I just want to double check if there are any bugs fixed in the PR.

yyshen avatar Dec 02 '23 23:12 yyshen