settings: Disable timer tests for RocketChipZCU102 (#102)

Signed-off-by: Robbie VanVossen <[email protected]>
seL4 · Aug 29, 2023 · a4ef8fc · a4ef8fc
1 parent a188dbb
commit a4ef8fc
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 FPGA does not have a timer peripheral
         set(Sel4testHaveTimer OFF CACHE BOOL "" FORCE)
     else()
         set(Sel4testHaveTimer ON CACHE BOOL "" FORCE)