Activity
From 08/07/2017 to 09/05/2017
09/05/2017
- 03:00 PM Enhancement #2736 (Resolved): Add importance field to resource allocation type
- Applied in changeset commit:rst-proto|f03afb97e91f4060052a4544c834355dd579546a.
- 02:40 PM Enhancement #2736 (Resolved): Add importance field to resource allocation type
- In order to allow for more fine-grained arbitration, a new field "importance" is introduced.
As I could not find b... - 02:47 PM Revision f03afb97 (rst-proto): Add importance field to resource allocation type
- fixes #2736
Signed-off-by: Jan Moringen <jmoringe@techfak.uni-bielefeld.de>
Also available in: Atom