On Fri, Jul 10, 2020 at 09:43:53AM +0800, peng....@nxp.com wrote:
> From: Peng Fan <peng....@nxp.com>
> 
> Select ARM_GIC_V3, then it is able to use gic v3 driver in aarch32
> mode linux on aarch64 hardware. For aarch64 mode, it not hurts
> to select ARM_GIC_V3.
> 
> Acked-by: Arnd Bergmann <a...@arndb.de>
> Signed-off-by: Peng Fan <peng....@nxp.com>

Applied, thanks.

Reply via email to