From 9b5c28af186b68936615d3d95542ef762baeaafe Mon Sep 17 00:00:00 2001
From: T Michael Turney <mturney@codeaurora.org>
Date: Tue, 24 Apr 2018 14:07:26 -0700
Subject: libpayload: Add Timer for sdm845

Uses ARCH64 Timer

TEST=build

Change-Id: Ic312bcf3bc7e80482b7f038e2dbc4abaaffd5956
Signed-off-by: T Michael Turney <mturney@codeaurora.org>
Reviewed-on: https://review.coreboot.org/25214
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Julius Werner <jwerner@chromium.org>
---
 payloads/libpayload/drivers/timer/Kconfig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'payloads/libpayload/drivers/timer/Kconfig')

diff --git a/payloads/libpayload/drivers/timer/Kconfig b/payloads/libpayload/drivers/timer/Kconfig
index 9e274ee00e..54cbe4a663 100644
--- a/payloads/libpayload/drivers/timer/Kconfig
+++ b/payloads/libpayload/drivers/timer/Kconfig
@@ -45,6 +45,11 @@ config TIMER_IPQ40XX
 	  This is the timer driver for QCA IPQ40xx based
 	  platforms.
 
+config TIMER_ARM64_ARCH
+	bool "Architecture Timer for ARM64 platforms"
+	help
+	  The cntfrq register needs to have been pre-initialized.
+
 config TIMER_RK3288
 	bool "Timer for Rockchip RK3288"
 
-- 
cgit v1.2.3