On 31 July 2015 at 12:15, Pavel Fedin <p.fe...@samsung.com> wrote: > 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 ?
Yes. thanks -- PMM