From fae7635182b4d61c487b769e95a552ffecaa3a3f Mon Sep 17 00:00:00 2001 From: Kent McLeod Date: Wed, 8 Dec 2021 10:32:04 +1100 Subject: [PATCH] scheduler: Enable SCHED0000 on riscv This test isn't arch specific and so is expected to pass on riscv. Signed-off-by: Kent McLeod --- apps/sel4test-tests/src/tests/scheduler.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/apps/sel4test-tests/src/tests/scheduler.c b/apps/sel4test-tests/src/tests/scheduler.c index 2661a9c4..b1c24045 100644 --- a/apps/sel4test-tests/src/tests/scheduler.c +++ b/apps/sel4test-tests/src/tests/scheduler.c @@ -98,8 +98,7 @@ static int test_thread_suspend(env_t env) return sel4test_get_result(); } DEFINE_TEST(SCHED0000, "Test suspending and resuming a thread (flaky)", test_thread_suspend, - config_set(CONFIG_HAVE_TIMER) - && !config_set(CONFIG_ARCH_RISCV)) + config_set(CONFIG_HAVE_TIMER)) /* * Test TCB Resume on self.