| /shark/trunk/ports/first/first-sync.c |
|---|
| 15,7 → 15,6 |
| #include "fsf_core.h" |
| #include "fsf_server.h" |
| #include "fedfstar.h" |
| #include "posixstar.h" |
| #include "edfstar.h" |
| #include "nonestar.h" |
| 191,9 → 190,6 |
| 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; |