On Tue, 21 Jan 2020 11:01:50 +0100, Geert Uytterhoeven <geert+renesas@xxxxxxxxx> wrote: > Unlike on arm32, the HAVE_ARM_ARCH_TIMER config symbol does not exist on > arm64. > > Note that the toplevel ARM64 symbol always selects ARM_ARCH_TIMER, so > support for it is always included. > > Fixes: 628d30d1ccb897fe ("arm64: Add platform selection for BCM2835.") > Signed-off-by: Geert Uytterhoeven <geert+renesas@xxxxxxxxx> > --- Applied to soc-arm64/next, thanks! -- Florian