| /shark/trunk/ports/first/first-server.c |
|---|
| 172,6 → 172,8 |
| POSIXSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
| task_activate(*thread); |
| break; |
| case FSF_SCHEDULER_EDF: |
| 184,6 → 186,8 |
| EDFSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
| task_activate(*thread); |
| break; |
| case FSF_SCHEDULER_RM: |
| 197,6 → 201,8 |
| RMSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
| task_activate(*thread); |
| break; |
| case FSF_SCHEDULER_MPEG: |