ipc: explicitly disable IPC0028 until fixed

This test has not been enabled since d07b238 in 2017 and likely has been broken for quite some time. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 17, 2024 · 17cac54 · 17cac54
1 parent e1d35e6
commit 17cac54
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/apps/sel4test-tests/src/tests/ipc.c b/apps/sel4test-tests/src/tests/ipc.c
@@ -1361,6 +1361,8 @@ static int test_sched_donation_cross_core(env_t env)
 
     return sel4test_get_result();
 }
-DEFINE_TEST(IPC0028, "Cross core sched donation", test_sched_donation_cross_core,
-            config_set(CONFIG_KERNEL_MCS) &&(CONFIG_MAX_NUM_NODES > 1));
+/* This test currently fails.
+   See https://github.com/seL4/seL4/issues/941 and https://github.com/seL4/seL4/pull/986 */
+DEFINE_TEST(IPC0028, "Cross core sched donation", test_sched_donation_cross_core, false);
+/*            config_set(CONFIG_KERNEL_MCS) &&(CONFIG_MAX_NUM_NODES > 1)); */
 #endif /* CONFIG_KERNEL_MCS */