diff --git a/libplatsupport/CMakeLists.txt b/libplatsupport/CMakeLists.txt
index 96466438d..92e8ab69c 100644
--- a/libplatsupport/CMakeLists.txt
+++ b/libplatsupport/CMakeLists.txt
@@ -48,9 +48,14 @@ config_choice(
 mark_as_advanced(CLEAR LibPlatSupportX86ConsoleDevice LibPlatSupportLPTMRclock)
 
 # Some platforms don't have a platform timer.
-if(
-    (KernelPlatformQEMUArmVirt AND NOT (KernelArmExportPCNTUser AND KernelArmExportPTMRUser))
-    OR KernelPlatformRocketchip
+if(KernelPlatformQEMUArmVirt)
+    if(KernelArmExportPCNTUser AND KernelArmExportPTMRUser)
+        set(LibPlatSupportHaveTimer ON)
+    else()
+        set(LibPlatSupportHaveTimer OFF)
+    endif()
+elseif(
+    KernelPlatformRocketchip
     OR KernelPlatformRocketchipZCU102
     OR KernelPlatformCheshire
     OR (SIMULATION AND (KernelArchRiscV OR KernelArchARM))