Samuel Thibault
|
6beb9fe2f7
Remove now-unused push_prio_task scheduler method
|
14 years ago |
Samuel Thibault
|
0d9f08ae8d
Fix copyrights, thanks Ludo!
|
14 years ago |
Nathalie Furmento
|
3b61934f1c
typos (detected as warning by icc)
|
15 years ago |
Cédric Augonnet
|
0a93ca40d1
The scheduling strategy may now select the min/max priority levels. The
|
15 years ago |
Cédric Augonnet
|
0003cb731e
The --disable-blocking-drivers makes it possible to disable the use of
|
15 years ago |
Samuel Thibault
|
0ec22a9b3c
document which sched file is what
|
15 years ago |
Nathalie Furmento
|
3784d23683
set unused fields to NULL for the schedulers
|
15 years ago |
Cédric Augonnet
|
56e595124e
Reorganize the code of the scheduling policies: to stress the fact that
|
15 years ago |