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()