int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 86 MB to init
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init] child "timer"
[init]   RAM quota:  1863680
[init]   ELF binary: timer
[init]   priority:   0
[init]   provides service Timer
[init] child "uart_drv"
[init]   RAM quota:  1863680
[init]   ELF binary: uart_drv
[init]   priority:   0
[init]   provides service Terminal
[init]   provides service Uart
[init] child "gdb_monitor"
[init]   RAM quota:  3960832
[init]   ELF binary: gdb_monitor
[init]   priority:   0
[init] child "timer" announces service "Timer"
[init -> uart_drv] --- i8250 UART driver started ---
[init] child "uart_drv" announces service "Uart"
[init] child "uart_drv" announces service "Terminal"
[init -> gdb_monitor] usinGDB monitor is up, starting GDB
spawn /usr/local/genode-gcc/bin/genode-x86-gdb bin/ld.lib.so -n -ex target remote localhost:5555 -ex set interactive-mode off -ex b binary_ready_hook_for_gdb -ex c -ex delete 1 -ex file bin/test-gdb_monitor -ex b main -ex set solib-search-path bin -ex sharedlibrary -ex c -ex delete 2 2&>1

----- test: breakpoint in 'main()' -----

g the pipe libc plugin
[init -> gdb_monitor] int sigaction(int, const sigaction*, sigaction*): sigaction not implemented
[init -> gdb_monitor] Process target created; pid = 1
[init -> gdb_monitor] unsupported ioctl (request=0x40047477)
[init -> gdb_monitor] unsupported ioctl (request=0x80047476)
[init -> uart_drv] Baudrate is not defined. Use default 115200
GNU gdb (GDB) 7.3.1
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "--host=x86_64-unknown-linux-gnu --target=x86_64-pc-elf".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /home/kingtux/genode/build/nova_x86_64/bin/ld.lib.so...[init -> gdb_monitor] Remote debugging using /dev/terminal
[init -> gdb_monitor] fcntl(): command 4 args 66 not supported - terminal
[init -> gdb_monitor] fcntl(): command 6 args 4294967295 not supported - terminal
int main(): --- init created, waiting for exit condition ---
done.
Don't know how to attach.  Try "help target".
GDB can't read core files on this machine.
localhost:5555: Connection timed out.
Breakpoint 1 at 0xafd10: file /home/kingtux/genode/repos/base/src/lib/ldso/debug.cc, line 21.
The program is not being run.
Load new symbol table from "/home/kingtux/genode/build/nova_x86_64/bin/test-gdb_monitor"? (y or n) [answered Y; input not from terminal]
Reading symbols from /home/kingtux/genode/build/nova_x86_64/bin/test-gdb_monitor...done.
Breakpoint 2 at 0x1001678: file /home/kingtux/genode/repos/ports/src/test/gdb_monitor/main.cc, line 93.
The program is not being run.
(gdb) *** Error: Breakpoint in main() did not trigger
Makefile:261: recipe for target 'run/gdb_monitor' failed
make: *** [run/gdb_monitor] Error 255