 Marc Sergent
|
1329f5bee3
Merge from trunk : several merges from r11938 to r12434
|
11 lat temu |
|
Marc Sergent
|
8678ba6687
src/sched_policies : Renaming pop_task into pull_task in Modularized Schedulers only
|
11 lat temu |
|
Marc Sergent
|
99f8c8f112
Renaming Hierarchical Scheduler ==> Modularized Scheduler
|
11 lat temu |
|
Marc Sergent
|
333ea340f1
Some refactoring on src/sched_policies
|
11 lat temu |
|
Marc Sergent
|
adaab5e2c7
src/sched_policies : Renaming
|
11 lat temu |
|
Marc Sergent
|
913b6e242b
Several renamings for Hierarchical Schedulers to adapt the naming
|
11 lat temu |
