mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-03 17:39:26 +00:00
The interactive GDB monitor test has changed recently. This patch updates the documentation accordingly. Fixes #126.
The interactive GDB monitor test has changed recently. This patch updates the documentation accordingly. Fixes #126.