From d5532d466a9485b45ec5e9cf45e0b5d4443ea5b7 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 ae8e55a9..d334d568 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))
     )