diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-06-26 04:45:31 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 05:58:00 -0400 |
| commit | c1350f82ee53098f52b712877c3b8e0876952f52 (patch) | |
| tree | a5b43bfe9f93cad0b70be4e213e9fa66e2fb1c9c /litmus | |
| parent | c2034d8205674daa954ee314f93270f39b90148f (diff) | |
P-FP: Clarify meaning of priorities
Add a comment to explain how priorities are
interpreted, and provide some useful macros for
userspace.
Diffstat (limited to 'litmus')
0 files changed, 0 insertions, 0 deletions