ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-29 10:08:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
1389b63050
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