diff options
| author | T Michael Turney <mturney@codeaurora.org> | 2018-04-24 10:15:46 -0700 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-04-30 06:25:58 +0000 |
| commit | 3775f1c0e177b3667753bbf0087b7975f3ec712e (patch) | |
| tree | c95237636d1f3c9a576e41538ff3354262e69a91 /src/arch/arm64/Kconfig | |
| parent | 6e0f0f7f9c91f41eb40f4ef6979937caee168bdf (diff) | |
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>
Diffstat (limited to 'src/arch/arm64/Kconfig')
| -rw-r--r-- | src/arch/arm64/Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
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 |