From a81a5618f245ce93f6ec8e2b52e1a03215ef9391 Mon Sep 17 00:00:00 2001
From: Curtis Millar <curtis@curtism.me>
Date: Tue, 20 Oct 2020 19:30:54 +1100
Subject: [PATCH] trivial: Add TIMER_PRECISION for odroidc2

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
---
 src/plat/odroidc2/config.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plat/odroidc2/config.cmake b/src/plat/odroidc2/config.cmake
index 849776e06..b37a4682c 100644
--- a/src/plat/odroidc2/config.cmake
+++ b/src/plat/odroidc2/config.cmake
@@ -25,6 +25,7 @@ if(KernelPlatformOdroidc2)
         CLK_MAGIC 375299969u
         CLK_SHIFT 53u
         KERNEL_WCET 10u
+        TIMER_PRECISION 1u
     )
 endif()