genodelabs/genode — Issue #5: Child::upgrade(...) for base services (was mantis id 20)
Author: nfeske
Created: 2011-12-20 08:43:06+00:00
State: open
Labels: bug

Child::upgrade(Session_capability to_session, const char *amount) in e.g.:
base/include/base/child.h is broken for services rm, cpu, ram, and pd.
These services are not in the session pool, and thereby upgrade exists without doing anything.