genode/ports/src
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
..
app Introduce server-role member to 'Child' class 2012-05-29 13:54:59 +02:00
lib Hook for passing env pointer to main function 2012-05-18 19:32:44 +02:00
noux Add dynamic_pointer_cast method to Shared_pointer 2012-05-29 13:54:59 +02:00
noux-pkg Quote env variables (i.e., to support ccache) 2012-05-21 17:15:13 +02:00
test GDB monitor target configuration test 2012-04-16 19:04:42 +02:00
vancouver Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00