On 09.12.24 21:36, p...@philjordan.eu wrote:
From: Phil Dennis-Jordan <p...@philjordan.eu> Initialising the vCPU PFR0_EL1 system register with the GIC flag in hvf_arch_init_vcpu() does not actually work because the GIC state is not yet available at that time. If we set this flag just before running each vCPU for the first time, the GIC will definitely be fully initialised at that point. Signed-off-by: Phil Dennis-Jordan <p...@philjordan.eu>
Reviewed-by: Alexander Graf <ag...@csgraf.de> Alex
