mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-18 00:06:46 +00:00
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.