2 * @brief Thread scheduler.
11 /* Forward declaration */
17 void add_thread(Thread *t);
18 void remove_thread(Thread *t);
19 Thread * next_thread(void);
20 Thread * get_current_thread(void);
25 std::list<Thread *> readyList;
29 #endif /* __SCHEDULE_H__ */