Merge branch 'master' into patch-axel-7

seL4 · Jun 16, 2024 · 41f3821 · 41f3821
2 parents d8b6e6b + 8a08306
commit 41f3821
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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))
     )