Re: [Xen-devel] [PATCH v5 21/21] xen/arm: check for GICv3 platform support

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Vijay,

On 12/06/14 14:36, vijay.kilari@xxxxxxxxx wrote:
> From: Vijaya Kumar K <Vijaya.Kumar@xxxxxxxxxxxxxxxxxx>
>
> ID_AA64PFR0_EL1 register provides information about GIC support.
> Check for this register in GICv3 driver.
>
> Also print GICv3 support information in boot log
We already have a GICv3 node in the device tree. Why do we need to check 
that GICv3 is effectively support by board?
We rely on the user provide us a correct device tree, so I don't think 
this patch is helpful...
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel