hi there

now days i'm trying to execute gdb on panda board

but when i run the script,

it fails to compile (gdb_monitor_interactive) and other script(noux_gdb ) it doesn't work on panda board

i attach log message(noux_gdb)

----------------------------------------------------------------------------------------------------------

Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> noux] upgrade quota donation for SIGNAL session
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> usb_drv] Registered 14 zone allocators
[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: a1f70
[init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00
[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> usb_drv] upgrade quota donation for SIGNAL session
[init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> gdb_monitor] add_lwp(1, 1, 0)
[init -> gdb_monitor] Remote debugging using /dev/terminal
[init -> noux] created main thread
[init -> noux] changed current work directory to /
[init -> noux] arg(0): "/bin/genode-arm-gdb"
[init -> noux] arg(1): "/gdb/test-gdb_monitor"
[init -> noux] arg(2): "-x"
[init -> noux] arg(3): "/gdb/commands"
[init -> terminal_noux] create terminal session
[init -> terminal_noux] new terminal session:
[init -> terminal_noux]   framebuffer has 1024x768 pixels
[init -> terminal_noux]   character size is 8x16 pixels
[init -> terminal_noux]   terminal size is 128x48 characters
[init -> noux -> /bin/genode-arm-gdb] Starting ldso ...
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> noux -> /bin/genode-arm-gdb] Starting application ... environ: a1f70
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/bin/../lib/debug"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/lib/debug"
[init -> noux -> /bin/genode-arm-gdb] uid_t getuid(): getuid(): 0
[init -> noux -> /bin/genode-arm-gdb] uid_t getuid(): getuid(): 0
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/usr/share/terminfo"
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path ".gdbinit"
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=0
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x40047477)
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=3
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=3
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 5 ports detected
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=3
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux] stat failed for path '/src'
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x802c7414)
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x80047410)
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x802c7414)
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> gdb_monitor] Memory model: no memory at address 10055d0
[init -> gdb_monitor] Memory model: no memory at address 10055d1
[init -> gdb_monitor] Memory model: no memory at address 10055d2
[init -> gdb_monitor] Memory model: no memory at address 10055d3
[init -> noux -> /bin/genode-arm-gdb] syscall OPEN failed
[init -> noux -> /bin/genode-arm-gdb] plugin()->open("ld.lib.so") failed
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "./ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "./ld.lib.so"
[init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap
[init -> gdb_monitor] Memory model: no memory at address 10055d0
[init -> gdb_monitor] Memory model: no memory at address 10055d1
[init -> gdb_monitor] Memory model: no memory at address 10055d2
[init -> gdb_monitor] Memory model: no memory at address 10055d3
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=7
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/os/src/lib/ldso/include/arm/call_main.h"
[init -> noux] stat failed for path '/src/home/tjwornjs/test/genode/os/src/lib/ldso/include/arm/call_main.h'
[init -> noux] stat failed for path '/src'
[init -> noux] stat failed for path '/src/home'
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/gdb/src/home"
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> gdb_monitor] linux_resume_one_lwp(step = 0, signal = 0)
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> gdb_monitor] genode_store_registers() - not yet implemented
[init -> gdb_monitor] genode_wait_for_signal_or_gdb_interrupt
[init -> gdb_monitor -> test-gdb_monitor] Starting ldso ...
[init -> gdb_monitor -> test-gdb_monitor] Starting application ... environ: a1f70
[init -> gdb_monitor] received signal 1
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=7
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=7
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> gdb_monitor] Memory model: no memory at address 0
[init -> gdb_monitor] Memory model: no memory at address 1
[init -> gdb_monitor] Memory model: no memory at address 2
[init -> gdb_monitor] Memory model: no memory at address 3
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/base/include/base/thread.h"
[init -> noux] stat failed for path '/src/home/tjwornjs/test/genode/base/include/base/thread.h'
[init -> noux] stat failed for path '/src'
[init -> noux] stat failed for path '/src/home'
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/gdb/src/home"
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] syscall OPEN failed
[init -> noux -> /bin/genode-arm-gdb] plugin()->open("//home/tjwornjs/test/genode/build/var/libcache/libc/libc.lib.so") failed
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "//home/tjwornjs/test/genode/build/var/libcache/libc/libc.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "home/tjwornjs/test/genode/build/var/libcache/libc/libc.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "libc.lib.so"
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=7
[init -> noux -> /bin/genode-arm-gdb] syscall OPEN failed
[init -> noux -> /bin/genode-arm-gdb] plugin()->open("//home/tjwornjs/test/genode/build/var/libcache/libc_log/libc_log.lib.so") failed
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "//home/tjwornjs/test/genode/build/var/libcache/libc_log/libc_log.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "home/tjwornjs/test/genode/build/var/libcache/libc_log/libc_log.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "libc_log.lib.so"
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=8
[init -> noux -> /bin/genode-arm-gdb] syscall OPEN failed
[init -> noux -> /bin/genode-arm-gdb] plugin()->open("/home/tjwornjs/test/genode/build/var/libcache/ld/ld.lib.so") failed
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/build/var/libcache/ld/ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "home/tjwornjs/test/genode/build/var/libcache/ld/ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "ld.lib.so"
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=9
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/base/include/base/thread.h"
[init -> noux] stat failed for path '/src/home/tjwornjs/test/genode/base/include/base/thread.h'
[init -> noux] stat failed for path '/src'
[init -> noux] stat failed for path '/src/home'
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/gdb/src/home"
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/base/include/base/thread.h"
[init -> noux] stat failed for path '/src/home/tjwornjs/test/genode/base/include/base/thread.h'
[init -> noux] stat failed for path '/src'
[init -> noux] stat failed for path '/src/home'
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/gdb/src/home"
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] fcntl(F_GETFD) not implemented, returning 0
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[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 -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> gdb_monitor] received signal 1
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/home/tjwornjs/test/genode/ports/src/test/gdb_monitor/main.cc"
[init -> noux] stat failed for path '/src/home/tjwornjs/test/genode/ports/src/test/gdb_monitor/main.cc'
[init -> noux] stat failed for path '/src'
[init -> noux] stat failed for path '/src/home'
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/gdb/src/home"
[init -> noux -> /bin/genode-arm-gdb] fcntl: F_GETFL for libc_fd=9
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY _sigaction(): _sigaction called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY sbrk(): sbrk called, not implemented
[init -> noux -> /bin/genode-arm-gdb] DUMMY getrusage(): getrusage called, not implemented
[init -> noux -> /bin/genode-arm-gdb] syscall OPEN failed
[init -> noux -> /bin/genode-arm-gdb] plugin()->open("//.gdb_history") failed
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "/usr/share/terminfo"
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x80087467)
[init -> noux -> /bin/genode-arm-gdb] uid_t getuid(): getuid(): 0
[init -> noux -> /bin/genode-arm-gdb] syscall STAT failed
[init -> noux -> /bin/genode-arm-gdb] stat syscall failed for path "//.inputrc"
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x80087467)
[init -> noux -> /bin/genode-arm-gdb] unsupported ioctl (request=0x802c7415)
----------------------------------------------------------------------------------------------------------

gdb_monitor_interactive

----------------------------------------------------------------------------------------------------------

  Library ld
  Library libc
  Program core/panda/core
  Library libc_log
  Library libc_terminal
  Library libc_lock_pipe
  Library gdbserver_platform
  Library gdbserver_libc_support
  Program test/gdb_monitor/test-gdb_monitor
  Program app/gdb_monitor/gdb_monitor
make[1]: Leaving directory `/home/tjwornjs/genode/build'
genode build completed
cp: cannot stat `bin/uart_drv': No such file or directory
    while executing
"exec cp bin/$binary [run_dir]/genode"
    (procedure "copy_and_strip_binaries" line 7)
    invoked from within
"copy_and_strip_binaries $binaries"
    (procedure "build_boot_image_arm" line 3)
    invoked from within
"build_boot_image_arm $binaries"
    (procedure "build_boot_image" line 3)
    invoked from within
"build_boot_image $boot_modules"
    (file "/home/tjwornjs/genode/ports/run/gdb_monitor_interactive.run" line 78)
    invoked from within
"source $include_name"
    ("foreach" body line 3)
    invoked from within
"foreach include_name [get_cmd_arg --include ""] {
        puts "using run script $include_name"
        source $include_name
}"
----------------------------------------------------------------------------------------------------------