riscv-software-src / opensbi

RISC-V Open Source Supervisor Binary Interface

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use devicetree to add custom memrange to sbi root domain

inochisa opened this issue · comments

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.

commented

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?