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.