sel4test-hw: disable zynqmp 32 mcs

32-bit zynqmp builds stop with assertion failure at boot on zcu102. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Aug 14, 2024 · ab244b7 · ab244b7
1 parent eb58f3c
commit ab244b7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py
@@ -85,6 +85,10 @@ def build_filter(build: Build) -> bool:
            build.is_hyp() and build.is_smp() and build.is_clang():
             return False
 
+        # zynqmp 32 does not work with MCS
+        if plat.name == 'ZYNQMP' and build.get_mode() == 32 and build.is_mcs():
+            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()):