diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 12:31:09 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 12:31:09 +0200 |
commit | 1a9af211b3f0fb93611e6795ce66576b2ab230c8 (patch) | |
tree | 33388afe78e0ae60e1e2672483a5f23acdc9fc88 /kern/priority.c | |
parent | b28e05e203e0739fa5db59c5af378b29eea7a232 (diff) |
doc: fix the number of priorities
The number of priorities has been changed from 32 to 50 in
6a234201081156e6d5742e7eeabb68418b518fad.
* doc/mach.texi: Update accordingly.
Diffstat (limited to 'kern/priority.c')
0 files changed, 0 insertions, 0 deletions