From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Jones Date: Wed, 18 Jan 2023 15:42:33 +0100 Subject: [PATCH 10/11] docs: Correct opensbi-domain property name In-Reply-To: <20230118144234.79263-1-ajones@ventanamicro.com> References: <20230118144234.79263-1-ajones@ventanamicro.com> Message-ID: <20230118144234.79263-11-ajones@ventanamicro.com> List-Id: To: opensbi@lists.infradead.org MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Replace the commas with dashes to correct the name. Signed-off-by: Andrew Jones Reviewed-by: Anup Patel --- docs/domain_support.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/domain_support.md b/docs/domain_support.md index e2ff896bd550..265d8d85786e 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 -- 2.39.0