From 693e262d8bdc22ba16e3375f43ebd371e54da0d2 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 17 Jun 2024 20:12:15 +1000 Subject: [PATCH] ipc: re-enable test IPC0028 Signed-off-by: Gerwin Klein --- apps/sel4test-tests/src/tests/ipc.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/apps/sel4test-tests/src/tests/ipc.c b/apps/sel4test-tests/src/tests/ipc.c index 6e5ff041..48cd79f1 100644 --- 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 */