From 62931f1c5ec235454b3f9dedac4f201d71db75f1 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 13 Oct 2024 10:30:58 +1100 Subject: [PATCH] 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 --- sel4test-hw/build.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py index 9e1a60eb..474bb59d 100644 --- 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