denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
a100b37fdf637881f2cd21848cf2b05f43ab4bdf
genode/base/include/parent
History
Norman Feske f65606f179 Add resource-balancing support to parent interface 
This is just the interface. The implementation is still missing.

Issue #887
2013-10-05 12:44:35 +02:00
..
capability.h
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
client.h
Add resource-balancing support to parent interface
2013-10-05 12:44:35 +02:00
parent.h
Add resource-balancing support to parent interface
2013-10-05 12:44:35 +02:00