ipc: re-enable test IPC0028

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 17, 2024 · 693e262 · 693e262
1 parent b70bf2f
commit 693e262
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/apps/sel4test-tests/src/tests/ipc.c b/apps/sel4test-tests/src/tests/ipc.c
@@ -1361,8 +1361,6 @@ static int test_sched_donation_cross_core(env_t env)
 
     return sel4test_get_result();
 }
-/* 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)); */
+DEFINE_TEST(IPC0028, "Cross core sched donation", test_sched_donation_cross_core,
+            config_set(CONFIG_KERNEL_MCS) &&(CONFIG_MAX_NUM_NODES > 1));
 #endif /* CONFIG_KERNEL_MCS */