settings: Disable timer tests for RocketChip

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Oct 23, 2023 · d5532d4 · d5532d4
1 parent 99a462e
commit d5532d4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/settings.cmake b/settings.cmake
@@ -80,6 +80,7 @@ if(NOT Sel4testAllowSettingsOverride)
         KernelPlatformZynqmp
         OR KernelPlatformPolarfire
         OR KernelPlatformQuartz64
+        OR KernelPlatformRocketchip
         OR KernelPlatformRocketchipZCU102
         OR (SIMULATION AND (KernelArchRiscV OR KernelArchARM))
     )