From 3775f1c0e177b3667753bbf0087b7975f3ec712e Mon Sep 17 00:00:00 2001
From: T Michael Turney <mturney@codeaurora.org>
Date: Tue, 24 Apr 2018 10:15:46 -0700
Subject: arm64: Add ARCH Timer

SoC sdm845 uses ARCH Timer

Change-Id: I45e2d4d2c16a2cded3df20d393d2b8820050ac80
Signed-off-by: T Michael Turney <mturney@codeaurora.org>
Reviewed-on: https://review.coreboot.org/25612
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Julius Werner <jwerner@chromium.org>
---
 src/arch/arm64/Kconfig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/arch/arm64/Kconfig')

diff --git a/src/arch/arm64/Kconfig b/src/arch/arm64/Kconfig
index 4f4b33b077..cae558b1c4 100644
--- a/src/arch/arm64/Kconfig
+++ b/src/arch/arm64/Kconfig
@@ -22,6 +22,10 @@ config ARCH_RAMSTAGE_ARM64
 
 source src/arch/arm64/armv8/Kconfig
 
+config ARM64_USE_ARCH_TIMER
+	bool
+	default n
+
 config ARM64_USE_ARM_TRUSTED_FIRMWARE
 	bool
 	default n
-- 
cgit v1.2.3