CeDOS - kernel/os_scheduler.h

kernel/os_scheduler.h (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
/*! \file
 * Manages the distribution of processing time among processes.
 */
#ifndef OS_SCHEDULER_H
#define OS_SCHEDULER_H

#include <stdint.h>

typedef uint32_t ProcessID;

/*!
 * Executes a task.
 */
ProcessID sched_exec(void);

#endif