From: Julien Grall Date: Wed, 21 Sep 2016 13:13:44 +0000 (+0100) Subject: misc/arm: Correctly name bit in the booting document X-Git-Tag: 4.8.0-rc1~165 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=b106f15efbfc99f52ccb94ab8ca7fdb21fffffcf;p=xen.git misc/arm: Correctly name bit in the booting document SCTLR_EL3.HCR does not exists in the documentation (see D7.2.80 in ARM DDI 0487A.j). It was meant to be SCTRL_EL3.HCE. Signed-off-by: Julien Grall Acked-by: Stefano Stabellini --- diff --git a/docs/misc/arm/booting.txt b/docs/misc/arm/booting.txt index c7c1d7ea58..d3f6ce4755 100644 --- a/docs/misc/arm/booting.txt +++ b/docs/misc/arm/booting.txt @@ -31,7 +31,7 @@ Xen relies on some settings the firmware has to configure in EL3 before starting * Xen must be entered in NS EL2 mode -* The bit SCR_EL3.HCR (resp. SCR.HCE for 32-bit ARM) must be set to 1. +* The bit SCR_EL3.HCE (resp. SCR.HCE for 32-bit ARM) must be set to 1. [1] linux/Documentation/arm/Booting