sel4test: exclude broken hyp+mc+clang imx8mq tests

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 1, 2023 · c1d3bc4 · c1d3bc4
1 parent cd87354
commit c1d3bc4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py
@@ -78,6 +78,12 @@ def build_filter(build: Build) -> bool:
         if plat.name == 'IMX8MM_EVK' and build.is_mcs() and build.is_smp():
             return False
 
+        # HYP/SMP exclusions:
+        # IMX8MQ_EVK is failing multicore tests for SMP + HYP + clang
+        # see also https://github.com/seL4/sel4test/issues/44
+        if plat.name == 'IMX8MQ_EVK' and build.is_hyp() and build.is_smp() and build.is_clang():
+            return False
+
     if plat.arch == 'x86':
         # Bamboo config says no VTX for SMP or verification
         if build.is_hyp() and (build.is_smp() or build.is_verification()):