Hi,

I am trying to use GDB.  It works fine with test-gdb_monitor, but with my own program I run in to memory quota problems.  I tried to fix it through the config file but it did not seem to help.
Any clues?

Daniel

---- terminal output
[init] child "uart_drv"
[init]   RAM quota:  884736
[init]   ELF binary: uart_drv
[init]   priority:   0
[init]   provides service Terminal
[init] Warning: Specified quota exceeds available quota.
[init]          Proceeding with a quota of 103554588 bytes.
[init] child "gdb_monitor"
[init]   RAM quota:  103390748
[init]   ELF binary: gdb_monitor
[init]   priority:   0
[init -> uart_drv] --- i8250 UART driver started ---
[init -> gdb_monitor] Starting ldso ...
[init] child "timer" announces service "Timer"
[init] child "uart_drv" announces service "Terminal"
[init -> gdb_monitor] void init_libc_lock_pipe(): init_libc_lock_pipe()
[init -> gdb_monitor] using the pipe libc plugin
[init -> gdb_monitor] Starting application ... environ: 85004
[init -> gdb_monitor] add_lwp(1, 1, 0)
[init -> gdb_monitor] Remote debugging using /dev/terminal
[init -> gdb_monitor] Memory model: no memory at address 1009164
[init -> gdb_monitor] Memory model: no memory at address 1009165
[init -> gdb_monitor] Memory model: no memory at address 1009166
[init -> gdb_monitor] Memory model: no memory at address 1009167
[init -> gdb_monitor] Memory model: no memory at address 1009164
[init -> gdb_monitor] Memory model: no memory at address 1009165
[init -> gdb_monitor] Memory model: no memory at address 1009166
[init -> gdb_monitor] Memory model: no memory at address 1009167
[init -> gdb_monitor] Memory model: no memory at address 1009164
[init -> gdb_monitor] Memory model: no memory at address 1009165
[init -> gdb_monitor] Memory model: no memory at address 1009166
[init -> gdb_monitor] Memory model: no memory at address 1009167
[init -> gdb_monitor] linux_resume_one_lwp(step = 0, signal = 0)
[init -> gdb_monitor] genode_store_registers() - not yet implemented
[init -> gdb_monitor] genode_wait_for_signal_or_gdb_interrupt
[init -> gdb_monitor -> thread-migration] Starting ldso ...
Quota exceeded: gdb_monitor
  memory for slab:               4096
  used quota:                    2175192
  ds_size:                       2138112
  sizeof(Ram_session_component): 216
  quota_limit:                   3862528
[init -> gdb_monitor] C++ runtime: Genode::Ram_session::Quota_exceeded
[init -> gdb_monitor] void* abort(): abort called

    ---------------------------------------------------------------------     
    CPU 0 [00049d2f]: INT 3
    CPU 1 [f0024d6a]: Maskable Interrupt
    CPU 2 [f0024d6a]: Maskable Interrupt

--- config
<config verbose="yes">
        <parent-provides>
                <service name="ROM"/>
                <service name="RAM"/>
                <service name="IRQ"/>
                <service name="IO_MEM"/>
                <service name="IO_PORT"/>
                <service name="CAP"/>
                <service name="PD"/>
                <service name="RM"/>
                <service name="CPU"/>
                <service name="LOG"/>
                <service name="SIGNAL"/>
        </parent-provides>
        <default-route>
                <any-service> <parent/> <any-child/> </any-service>
        </default-route>
        <start name="timer">
                <resource name="RAM" quantum="512K"/>
                <provides> <service name="Timer"/> </provides>
        </start>
        <start name="uart_drv">
                <resource name="RAM" quantum="1M"/>
                <provides> <service name="Terminal"/> </provides>
                <config>
                        <policy label="gdb_monitor" uart="1"/>
                </config>
        </start>
        <start name="gdb_monitor">
                <resource name="RAM" quantum="1G"/>
                <config> <target name="thread-migration" /> </config>
        </start>
</config>