Re: [PATCH 2/2] hw/arm/boot: Set SCR_EL3.HXEn when booting kernel

[Richard Henderson]

On 10/28/22 00:02, Peter Maydell wrote:
> When we direct boot a kernel on a CPU which emulates EL3, we need to
> set up the EL3 system registers as the Linux kernel documentation
> specifies:
>       https://www.kernel.org/doc/Documentation/arm64/booting.rst
>
> For CPUs with FEAT_HCX support this includes:
>      - SCR_EL3.HXEn (bit 38) must be initialised to 0b1.
>
> but we forgot to do this when implementing FEAT_HCX, which would mean
> that a guest trying to access the HCRX_EL2 register would crash.
>
> Signed-off-by: Peter Maydell<peter.maydell@linaro.org>
> ---
>   hw/arm/boot.c | 3 +++
>   1 file changed, 3 insertions(+)

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>

r~