arm64: Add ARCH Timer

Hardware / Coreboot - T Michael Turney [codeaurora.org] - 30 April 2018 06:25 EDT

SoC sdm845 uses ARCH Timer

Change-Id: I45e2d4d2c16a2cded3df20d393d2b8820050ac80

3775f1c0e1 arm64: Add ARCH Timer
src/arch/arm64/Kconfig | 4 ++++
src/arch/arm64/Makefile.inc | 5 +++++
src/arch/arm64/arch_timer.c | 25 +++++++++++++++++++++++++
src/arch/arm64/armv8/lib/sysctrl.c | 8 ++++++++
src/arch/arm64/include/armv8/arch/lib_helpers.h | 1 +
5 files changed, 43 insertions(+)

Upstream: review.coreboot.org


  • Share