+/* -*- Mode: C; indent-tabs-mode: t -*- */
+
#include "threads.h"
#include "schedule.h"
#include "common.h"
#include "model.h"
+Scheduler::Scheduler():
+current(NULL)
+{
+}
+
void Scheduler::add_thread(Thread *t)
{
DEBUG("thread %d\n", t->get_id());