genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00

Files

Christian Prochaska 93faa9a36f Config option for GDB monitor RAM preservation

This patch allows to configure the amount of RAM that GDB monitor should
preserve for itself. The configuration syntax looks as follows:

<start name="gdb_monitor">
    <resource name="RAM" quantum="1G"/>
    <config>
        <target name="noux">
        <preserve name="RAM" quantum="2M"/>
        ...
    </config>
</start>

Fixes #190.

2012-04-23 15:32:22 +02:00

debug_nitpicker.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor_interactive.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor_target_config.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor.run

Config option for GDB monitor RAM preservation