From 8a08306b628b3b67c6aff412a3b30157caabaab1 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Mon, 23 Oct 2023 15:02:22 +1100
Subject: [PATCH] settings: Disable timer tests for RocketChip

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 settings.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/settings.cmake b/settings.cmake
index 1b096ebe..b223b432 100644
--- 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))
     )