On 2024/12/10 04: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> > --- > target/arm/hvf/hvf.c | 17 ++++++++++------- > 1 file changed, 10 insertions(+), 7 deletions(-)
Tested-by: Zenghui Yu <zenghui...@linux.dev> Thanks!
