/shark/trunk/ports/first/first-sync.c |
---|
15,6 → 15,7 |
#include "fsf_core.h" |
#include "fsf_server.h" |
#include "fedfstar.h" |
#include "posixstar.h" |
#include "edfstar.h" |
#include "nonestar.h" |
190,6 → 191,9 |
case FSF_FP: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_FEDF: |
budget = FEDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
default: |
budget = -1; |