On Fri, Jul 10, 2020 at 09:43:53AM +0800, [email protected] wrote: > From: Peng Fan <[email protected]> > > 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 <[email protected]> > Signed-off-by: Peng Fan <[email protected]>
Applied, thanks.
