diff --git a/settings.cmake b/settings.cmake
index 3cf39392..d2687c5a 100644
--- 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)