fix call to task_switch_now() with task_switch()
@@ -19,7 +19,7 @@ void yield(task_state reason) {
//then it should not be blocked
//block_task would manage this itself, but we can skip block_task overhead by doing it here ourselves
if (reason == RUNNABLE) {
- task_switch_now();
+ task_switch();
return;
}
panic("not runnable");
