sel4test-hw: remove odroidc4_debug_smp_mcs_clang

Temporarily remove odroidc4_debug_smp_mcs_clang until seL4/seL4#1333 is resolved. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 13, 2024 · 62931f1 · 62931f1
1 parent 153560c
commit 62931f1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py
@@ -77,6 +77,12 @@ def build_filter(build: Build) -> bool:
         # IMX8MM_EVK is failing multicore tests for MCS + SMP:
         if plat.name == 'IMX8MM_EVK' and build.is_mcs() and build.is_smp():
             return False
+        # ODROID_C4 is failing multicore tests for debug + MCS + SMP + clang:
+        # Since https://github.com/seL4/seL4/pull/1206
+        # See also https://github.com/seL4/seL4/issues/1333
+        if plat.name == 'ODROID_C4' and build.is_debug() and build.is_mcs() and \
+           build.is_smp() and build.is_clang():
+            return False
 
         # HYP/SMP exclusions:
         # IMX8MQ_EVK and ZYNQMPs are failing multicore tests for SMP + HYP + clang