ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-05 02:29:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/os/include/init
History
Christian Prochaska c2f23de2e7 Introduce server-role member to 'Child' class 
This patch is needed to use children as services in a dynamic
way (closing and reopening sessions).
2012-05-29 13:54:59 +02:00
..
child_config.h
Support for dynamic ROM sessions, fix #170
2012-04-05 11:25:26 +02:00
child_policy.h
Introduce server-role member to 'Child' class
2012-05-29 13:54:59 +02:00
child.h
Introduce server-role member to 'Child' class
2012-05-29 13:54:59 +02:00