Dokumentation

Classes
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