genode/repos/os/run/monitor_gdb_interactive.run

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
monitor: separate 'monitor_gdb' run scripts Fixes #4944 2023-06-28 16:56:31 +02:00			`source ${genode_dir}/repos/os/run/monitor_gdb.inc`

			`# sequence of GDB commands to execute at startup`
			`set gdb_cmds ""`
monitor: add more debugging features Fixes #4977 2023-08-08 14:17:36 +02:00			`append gdb_cmds {-ex "set non-stop on" }`
			`append gdb_cmds "-ex \"target extended-remote $host:$port\" "`
monitor: separate 'monitor_gdb' run scripts Fixes #4944 2023-06-28 16:56:31 +02:00
			`# run GDB`
			`exec [terminal] -e "bash -lc \'[gdb] debug/ld.lib.so $gdb_cmds\'" &`

			`interact -i $genode_id`