Session quota yielding

[Charles HH]

Hi,
I am currently using a Loader to deploy a subsystem, and in order to
improve dynamism, I would like to implement resource trading between the
Loader session client and the server. For resource requests, this is pretty
straightforward using a notification and the upgrade session facility.
However, I would also like the loader to be able to spontaneously yield
resources when they are no longer needed. I looked at the yielding
facility, but it seemed more focused on direct parent/child trading.
Is there a way for a server to yield back resources to its clients
symmetrically to the upgrading protocol, ideally that doesn't require
modifying the parent interface?

Regards,
Charles
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160630/bc81f86d/attachment.html>