portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix MCS timer for KZM

Browse source 
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.
This commit is contained in:
Curtis Millar 2020-01-28 11:38:32 +11:00
parent 0ff7405eab
commit cc90574fc4
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/plat/imx31/config.cmake
View file

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