On Wed, 21 Sep 2016, Julien Grall wrote: > 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 <julien.gr...@arm.com>
Acked-by: Stefano Stabellini <sstabell...@kernel.org> > docs/misc/arm/booting.txt | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/docs/misc/arm/booting.txt b/docs/misc/arm/booting.txt > index c7c1d7e..d3f6ce4 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 > -- > 1.9.1 > _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel