diff options
| -rw-r--r-- | extras/mini-os/include/sched.h | 1 | ||||
| -rw-r--r-- | extras/mini-os/sched.c | 6 |
2 files changed, 6 insertions, 1 deletions
diff --git a/extras/mini-os/include/sched.h b/extras/mini-os/include/sched.h index 9f209f195d..734e441a15 100644 --- a/extras/mini-os/include/sched.h +++ b/extras/mini-os/include/sched.h @@ -39,6 +39,7 @@ struct thread* arch_create_thread(char *name, void (*function)(void *), void init_sched(void); void run_idle_thread(void); struct thread* create_thread(char *name, void (*function)(void *), void *data); +void exit_thread(void) __attribute__((noreturn)); void schedule(void); #define current get_current() 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) |