diff options
| author | Peter Zijlstra <a.p.zijlstra@chello.nl> | 2008-02-13 15:45:40 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-02-13 15:45:40 +0100 |
| commit | 052f1dc7eb02300b05170ae341ccd03b76207778 (patch) | |
| tree | f58630b7876ae9e4308c0577e36aa13318b7bcfc /Makefile | |
| parent | 9f0c1e560c43327b70998e6c702b2f01321130d9 (diff) | |
sched: rt-group: make rt groups scheduling configurable
Make the rt group scheduler compile time configurable.
Keep it experimental for now.
Signed-off-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions