diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-16 18:29:36 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-16 18:29:36 -0400 |
| commit | c58a74c8ad2d2b1b01be12afb9bac58dfef0d16a (patch) | |
| tree | 60dbed545715ecf91ab7409789c1a9effd791348 /scripts | |
| parent | 4e8f9b7c2e9134ca31feb91dee3609a95df6de56 (diff) | |
Added CONFIG_REALTIME_AUX_TASKS option
Auxillary task features were enabled by CONFIG_LITMUS_LOCKING.
Made auxillary tasks a seperate feature that depends upon
CONFIG_LITMUS_LOCKING.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions