disable timer test for Quartz64

There is no ltimer implementation available Signed-off-by: Axel Heider <[email protected]>
seL4 · Nov 15, 2022 · 91d8da8 · 91d8da8
1 parent c02181c
commit 91d8da8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/settings.cmake b/settings.cmake
@@ -79,10 +79,12 @@ if(NOT Sel4testAllowSettingsOverride)
     elseif(
         KernelPlatformZynqmp
         OR KernelPlatformPolarfire
+        OR KernelPlatformQuartz64
         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
         set(Sel4testHaveTimer OFF CACHE BOOL "" FORCE)
     else()
         set(Sel4testHaveTimer ON CACHE BOOL "" FORCE)