mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
12 lines
322 B
Plaintext
12 lines
322 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 "set non-stop on" }
|
|
append gdb_cmds "-ex \"target extended-remote $host:$port\" "
|
|
|
|
# run GDB
|
|
exec [terminal] -e "bash -lc \'[gdb] debug/ld.lib.so $gdb_cmds\'" &
|
|
|
|
interact -i $genode_id
|