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
Christian Prochaska
674e898af3
Pass config to child of GDB monitor
...
With this patch GDB monitor provides a 'config' file to the target. Its
content can be defined in the <config> sub node of the <target> XML node.
Fixes #179 .
2012-04-16 19:01:56 +02:00
Norman Feske
08ce32215d
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
Genode Labs
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00