os/thread.cpp


1
2
3
4
5

#include "thread.h"

List<Thread> Thread::ready_queue __attribute__ ((init_priority (1000)));
Thread Thread::main_thread __attribute__ ((init_priority (1001)));
Thread* Thread::active_thread = &Thread::main_thread;