mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
11 lines
282 B
Plaintext
11 lines
282 B
Plaintext
source ${genode_dir}/repos/os/run/monitor_gdb.inc
|
|
|
|
# sequence of GDB commands to execute at startup
|
|
set gdb_cmds ""
|
|
append gdb_cmds "-ex \"target remote localhost:$local_port\" "
|
|
|
|
# run GDB
|
|
exec [terminal] -e "bash -lc \'[gdb] debug/ld.lib.so $gdb_cmds\'" &
|
|
|
|
interact -i $genode_id
|