summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/domain_support.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/domain_support.md b/docs/domain_support.md
index 039f262..65b6142 100644
--- a/docs/domain_support.md
+++ b/docs/domain_support.md
@@ -207,9 +207,9 @@ platform support can provide the HART to domain instance assignment using
platform specific callback.
The HART to domain instance assignment can be parsed from the device tree
-using optional DT property **opensbi,domain** in each CPU DT node. The
-value of DT property **opensbi,domain** is the DT phandle of the domain
-instance DT node. If **opensbi,domain** DT property is not specified then
+using optional DT property **opensbi-domain** in each CPU DT node. The
+value of DT property **opensbi-domain** is the DT phandle of the domain
+instance DT node. If **opensbi-domain** DT property is not specified then
corresponding HART is assigned to **the ROOT domain**.
### Domain Configuration Only Accessible to OpenSBI