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

Reply via email to