Re: [PATCH v2 2/4] arm64: dts: Foundation model: increase GICC region to allow EOImode=1

2015-12-15 Thread Marc Zyngier
On 15/12/15 13:36, Andre Przywara wrote: > The Foundation model GIC mapping is wrong, as the GICC region should > be 8kB instead of 4kB (the model implements the GICv2 architecture). > This defect prevents the driver from switching to EOImode==1. > > Signed-off-by: Andre Przywara

[PATCH v2 2/4] arm64: dts: Foundation model: increase GICC region to allow EOImode=1

2015-12-15 Thread Andre Przywara
The Foundation model GIC mapping is wrong, as the GICC region should be 8kB instead of 4kB (the model implements the GICv2 architecture). This defect prevents the driver from switching to EOImode==1. Signed-off-by: Andre Przywara ---