From 1bd007022bdbd7bad5f1aa8ee8b6586d1a07fe64 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 1de6b426..5054e35e 100644 --- a/apps/sel4test-tests/src/tests/ipc.c +++ b/apps/sel4test-tests/src/tests/ipc.c @@ -1356,8 +1356,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 */