mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +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
|