Re: [Xen-devel] [PATCH 1/7] tools: ARM: vGICv3: avoid inserting optional DT properties

2018-01-24 Thread Julien Grall
Hi Andre, On 24/01/18 16:35, Andre Przywara wrote: On 24/01/18 16:08, Julien Grall wrote: (+ Tools maintainers) Hi Andre, On 24/01/18 14:35, Andre Przywara wrote: When creating a GICv3 devicetree node, we currently insert the redistributor-stride and #redistributor-regions properties, with

Re: [Xen-devel] [PATCH 1/7] tools: ARM: vGICv3: avoid inserting optional DT properties

2018-01-24 Thread Andre Przywara
Hi, On 24/01/18 16:08, Julien Grall wrote: > (+ Tools maintainers) > > Hi Andre, > > On 24/01/18 14:35, Andre Przywara wrote: >> When creating a GICv3 devicetree node, we currently insert the >> redistributor-stride and #redistributor-regions properties, with fixed >> values which are actually

Re: [Xen-devel] [PATCH 1/7] tools: ARM: vGICv3: avoid inserting optional DT properties

2018-01-24 Thread Julien Grall
(+ Tools maintainers) Hi Andre, On 24/01/18 14:35, Andre Przywara wrote: When creating a GICv3 devicetree node, we currently insert the redistributor-stride and #redistributor-regions properties, with fixed values which are actually the architected ones. But those properties are optional and

[Xen-devel] [PATCH 1/7] tools: ARM: vGICv3: avoid inserting optional DT properties

2018-01-24 Thread Andre Przywara
When creating a GICv3 devicetree node, we currently insert the redistributor-stride and #redistributor-regions properties, with fixed values which are actually the architected ones. But those properties are optional and only needed to cover for broken platforms, where the values differ from the