settings: Disable timer tests for RocketChipZCU102

Signed-off-by: Robbie VanVossen <[email protected]>
seL4 · Aug 25, 2023 · 12aef15 · 12aef15
1 parent a188dbb
commit 12aef15
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/settings.cmake b/settings.cmake
@@ -80,11 +80,13 @@ if(NOT Sel4testAllowSettingsOverride)
         KernelPlatformZynqmp
         OR KernelPlatformPolarfire
         OR KernelPlatformQuartz64
+        OR KernelPlatformRocketchipZCU102
         OR (SIMULATION AND (KernelArchRiscV OR KernelArchARM))
     )
         # Frequency settings of the ZynqMP make the ltimer tests problematic
         # Polarfire does not have a complete ltimer implementation
         # Quartz64 does not have a complete ltimer implementation
+        # Rocket Chip on the ZCU102 does not have a complete ltimer implementation
         set(Sel4testHaveTimer OFF CACHE BOOL "" FORCE)
     else()
         set(Sel4testHaveTimer ON CACHE BOOL "" FORCE)