37,23 → 37,22 |
|
#include "kernel/kern.h" |
|
#include "modules/edf.h" |
#include "modules/cbs.h" |
#include "edf/edf/edf.h" |
#include "cbs/cbs/cbs.h" |
|
#include "pthread.h" |
#include "modules/posix.h" |
#include "posix/posix/posix.h" |
|
#include "fsf.h" |
#include "grubstar.h" |
#include "fsf_server.h" |
#include "modules/dummy.h" |
#include "dummy/dummy/dummy.h" |
|
#include "modules/sem.h" |
#include "modules/pi.h" |
#include "modules/pc.h" |
#include "sem/sem/sem.h" |
#include "pi/pi/pi.h" |
#include "pc/pc/pc.h" |
|
#include "modules/hartport.h" |
#include "modules/cabs.h" |
#include "hartport/hartport/hartport.h" |
#include "cabs/cabs/cabs.h" |
|
#include "drivers/keyb.h" |
#include <stdlib.h> |
167,7 → 166,7 |
exec_shadow,actpersecond,mean,cycle); |
kern_gettime(&next_time); |
ADDUSEC2TIMESPEC(TASK_PERIOD, &next_time); |
fsf_schedule_next_timed_job(&next_time, NULL, NULL, &was_deadline_missed, &was_budget_overran); |
fsf_schedule_timed_job(&next_time, NULL, NULL, &was_deadline_missed, &was_budget_overran); |
|
} |
|