scheduler: Enable SCHED0000 on riscv

This test isn't arch specific and so is expected to pass on riscv. Signed-off-by: Kent McLeod <[email protected]>
seL4 · Dec 8, 2021 · fae7635 · fae7635
1 parent 1b40a3e
commit fae7635
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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.