From cc90574fc4ee394a9818bec137ff5035ca5d4317 Mon Sep 17 00:00:00 2001 From: Curtis Millar Date: Tue, 28 Jan 2020 11:38:32 +1100 Subject: [PATCH] Fix MCS timer for KZM The corrected user timer showed that the estimated value for the kernel timer used in MCS was incorrect. It has been re-calculated on the fixed user-level timer. --- src/plat/imx31/config.cmake | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/plat/imx31/config.cmake b/src/plat/imx31/config.cmake index db36e3eaa..fcd828400 100644 --- a/src/plat/imx31/config.cmake +++ b/src/plat/imx31/config.cmake @@ -25,7 +25,7 @@ if(KernelPlatformKZM) list(APPEND KernelDTSList "src/plat/imx31/overlay-kzm.dts") if(KernelIsMCS) list(APPEND KernelDTSList "src/plat/imx31/mcs-overlay-kzm.dts") - set(TimerFrequency 18600000llu) # 18.6MHz -- calculated by trial and error, roughly precise + set(TimerFrequency 35000000llu) # 35MHz -- calculated by trial and error, roughly precise set(TimerDriver drivers/timer/imx31-gpt.h) else() set(TimerFrequency 32768llu) @@ -38,8 +38,8 @@ if(KernelPlatformKZM) INTERRUPT_CONTROLLER drivers/irq/imx31.h TIMER ${TimerDriver} KERNEL_WCET 10u - CLK_SHIFT 47u - CLK_MAGIC 7566531633llu + CLK_SHIFT 38u + CLK_MAGIC 7853654485llu ) endif()