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))
     )