51 lines
972 B
Plaintext
51 lines
972 B
Plaintext
# Initial ARM port only targets QEMU.
|
|
target remote localhost:1234
|
|
display/i $pc
|
|
|
|
# -- Procedures
|
|
|
|
define show-process
|
|
|
|
p (char*)(((struct dispatcher_shared_generic*)$r9)->name)
|
|
|
|
end
|
|
|
|
define change-process
|
|
|
|
## Load symbols for process shown by `show-process'.
|
|
## NB User has to prefix process name with path, e.g. arm/sbin/mem_serv.
|
|
## XXX No string concat in gdb (?). alt is use gdb with python support.
|
|
|
|
#-- Flush old symbols
|
|
symbol-file
|
|
#-- Reload cpu driver symbols
|
|
file arm/sbin/cpu
|
|
#-- Add process symbols at default process load address
|
|
add-symbol-file $arg0 0x00400000
|
|
|
|
end
|
|
|
|
# -- Misc
|
|
|
|
#add-symbol-file arm/sbin/init 0x400000
|
|
#set kernel_log_subsystem_mask = 0x7fffffff
|
|
|
|
break panic
|
|
#break user_panic
|
|
#break err_push
|
|
|
|
#break caps_retype
|
|
#break caps_map_l1
|
|
#break caps_map_l2
|
|
|
|
#break create_modules_from_initrd
|
|
#commands
|
|
# set kernel_loglevel = 0x7fffff
|
|
# set kernel_log_subsystem_mask = 0x7fffff
|
|
# cont
|
|
#end
|
|
|
|
|
|
|
|
|