diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-10-18 16:01:10 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-10-19 09:40:41 -0400 |
| commit | 576b1ad144f81d3fd3bd37d18dab86cd1e8660b0 (patch) | |
| tree | 07cb473c807f4a4297d117883c9a6c3fa14110ba /litmus/Makefile | |
| parent | 9b718afbc5db5a808804a336c17ba896a9f048a1 (diff) | |
Litmus core: add plugin-independent precise budget enforcement infrastructure
Simple logic: if a task requires precise enforcement, then program a
hr-timer to fire when the task must be descheduled. When the timer
fires, simply activate the scheduler. When we switch to a different
task, either reprogram the timer or cancel it.
Diffstat (limited to 'litmus/Makefile')
| -rw-r--r-- | litmus/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/Makefile b/litmus/Makefile index 30369787ece2..f301d2842e43 100644 --- a/litmus/Makefile +++ b/litmus/Makefile | |||
| @@ -3,6 +3,7 @@ | |||
| 3 | # | 3 | # |
| 4 | 4 | ||
| 5 | obj-y = sched_plugin.o litmus.o \ | 5 | obj-y = sched_plugin.o litmus.o \ |
| 6 | budget.o \ | ||
| 6 | jobs.o \ | 7 | jobs.o \ |
| 7 | sync.o \ | 8 | sync.o \ |
| 8 | rt_domain.o \ | 9 | rt_domain.o \ |