Hello! > >> I just checked with Marc, and he agreed that all kernels > >> with GICv3 support should support VGIC_CTRL_INIT. What kernel > >> are you running? > > > > v3.18 with backported GICv3 support. It is a choice of our > > HW vendor and their current official kernel. > > Sounds like their backporting is buggy, then. They need to > fix it, I don't think we need to support broken branches > in QEMU.
Ok, i will recheck it. So, final conclusion: both conditions should be removed and their code should be executed unconditionally. Correct ? Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia
