diff options
Diffstat (limited to 'extras/mini-os/sched.c')
-rw-r--r-- | extras/mini-os/sched.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c index eedb1fe7ed..0b613e64d4 100644 --- a/extras/mini-os/sched.c +++ b/extras/mini-os/sched.c @@ -198,7 +198,11 @@ void exit_thread(void) list_add(&thread->thread_list, &exited_threads); local_irq_restore(flags); /* Schedule will free the resources */ - schedule(); + while(1) + { + schedule(); + printk("schedule() returned! Trying again\n"); + } } void block(struct thread *thread) |