1# Initial ARM port only targets QEMU.
2target remote localhost:1234
3display/i $pc
4
5# -- Procedures
6
7define show-process
8
9    p (char*)(((struct dispatcher_shared_generic*)$r9)->name)
10 
11end
12
13define change-process
14
15    ## Load symbols for process shown by `show-process'. 
16    ## NB User has to prefix process name with path, e.g. arm/sbin/mem_serv.
17    ## XXX No string concat in gdb (?). alt is use gdb with python support.
18
19    #-- Flush old symbols
20    symbol-file
21    #-- Reload cpu driver symbols
22    file arm/sbin/cpu
23    #-- Add process symbols at default process load address
24    add-symbol-file $arg0 0x00400000
25
26end
27
28# -- Misc 
29
30#add-symbol-file arm/sbin/init 0x400000
31#set kernel_log_subsystem_mask = 0x7fffffff
32
33break panic
34#break user_panic
35#break err_push
36
37#break caps_retype
38#break caps_map_l1
39#break caps_map_l2
40
41#break create_modules_from_initrd
42#commands
43#    set kernel_loglevel = 0x7fffff
44#    set kernel_log_subsystem_mask = 0x7fffff
45#    cont
46#end
47
48
49
50
51