RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

trivial: Add TIMER_PRECISION for odroidc2

Browse Source 
Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
This commit is contained in:
Curtis Millar
2020-10-20 19:30:54 +11:00
committed by Curtis Millar
parent 1db081075b
commit a81a5618f2
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/plat/odroidc2/config.cmake
View File

@@ -25,6 +25,7 @@ if(KernelPlatformOdroidc2)
CLK_MAGIC 375299969u
CLK_SHIFT 53u
KERNEL_WCET 10u
TIMER_PRECISION 1u
)
endif()