Activity

From 08/07/2017 to 09/05/2017

03:00 PM Enhancement #2736 (Resolved): Add importance field to resource allocation type: Applied in changeset commit:rst-proto|f03afb97e91f4060052a4544c834355dd579546a. Anonymous
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... P. Holthaus
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> Patrick Holthaus

Also available in: Atom