guarded_scheduler.h File Reference

GuardedScheduler, a guarded interface for Scheduler More...

#include "thread/thread.h"
#include "thread/scheduler.h"
#include "interrupt/guarded.h"

Include dependency graph for guarded_scheduler.h:

Classes
class	GuardedScheduler
	Guarded interface to the Scheduler used by user applications. More...

Detailed Description

GuardedScheduler, a guarded interface for Scheduler