On Tue, 2015-06-30 at 14:51 +0100, Julien Grall wrote:
> >> +if ( !platform_has_quirk(PLATFORM_QUIRK_GIC_64K_STRIDE) )
> >
> > Perhaps the stride should be in the info struct?
>
> This is not related to any GICvN configuration but an hardware bug on
> some platform (currently only xgene). An
Hi Ian,
On 30/06/15 13:59, Ian Campbell wrote:
> On Fri, 2015-06-26 at 10:34 +0100, Julien Grall wrote:
>> Currently, it's hard to decide whether a part of the domain
>> initialization should live in gicv_setup (part of the GIC
>> driver) and domain_init (part of the vGIC driver).
>>
>> The code
On Fri, 2015-06-26 at 10:34 +0100, Julien Grall wrote:
> Currently, it's hard to decide whether a part of the domain
> initialization should live in gicv_setup (part of the GIC
> driver) and domain_init (part of the vGIC driver).
>
> The code to initialize the domain for a specific vGIC version i
Currently, it's hard to decide whether a part of the domain
initialization should live in gicv_setup (part of the GIC
driver) and domain_init (part of the vGIC driver).
The code to initialize the domain for a specific vGIC version is always
the same no matter the version of the GIC.
Move all the
