diff options
| -rw-r--r-- | docs/domain_support.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/domain_support.md b/docs/domain_support.md index 4ccbcff..2a9ca3d 100644 --- a/docs/domain_support.md +++ b/docs/domain_support.md @@ -254,7 +254,7 @@ be done: tdomain: trusted-domain { compatible = "opensbi,domain,instance"; possible-harts = <&cpu0>; - regions = <&tmem 0x7>, <&tuart 0x7>; + regions = <&tmem 0x3f>, <&tuart 0x3f>; boot-hart = <&cpu0>; next-arg1 = <0x0 0x0>; next-addr = <0x0 0x80100000>; @@ -265,7 +265,7 @@ be done: udomain: untrusted-domain { compatible = "opensbi,domain,instance"; possible-harts = <&cpu1 &cpu2 &cpu3 &cpu4>; - regions = <&tmem 0x0>, <&tuart 0x0>, <&allmem 0x7>; + regions = <&tmem 0x0>, <&tuart 0x0>, <&allmem 0x3f>; }; }; }; |