Changing domain region permissions
FrancoAuri96 opened this issue · comments
Hello to everyone, id' like to know how to change the default domain regions permissions, could anyone help me?
riscv-software-src / opensbi
RISC-V Open Source Supervisor Binary Interface