opensbi
opensbi copied to clipboard
Changing domain region permissions
Hello to everyone, id' like to know how to change the default domain regions permissions, could anyone help me?