opensbi
opensbi copied to clipboard
Use devicetree to add custom memrange to sbi root domain
The doc shows how to add a memrange to a custom sbi domain by using dtb.
Is there some way to add a custom memrange to the sbi root domain while using dtb, which is only available by using sbi_domain_root_add_memrange
in the code.
I wanted to bump your question, since nobody has been answering you (and I am asking myself the same question) -- did you ever come around solving this for yourself?