sel4test
sel4test copied to clipboard
add test for round robin threads
- add test SCHED0023 to check that round robin threads are indeed scheduled round robin.
- print thread id in periodic thread tests
The test relies on relative timing of a busy wait loop. The loop has to take at least 1 ms so that the round-robin test thread is preempted at least once before it prints+increments again.