ppc64: Don't set Kp bit on SLB
[openbios.git] / Documentation / README.debugger
bloba44f5a8577f1b955c39e18cb097a48674db3405f
1 The following Forth words can be used for debugging:
3    debug <xt> - Mark word for debugging
4    debug-off  - Unmark all words for debugging
5    resume     - Return from subordinate Forth interpreter
7 The source debugger also implements the following commands when it has been activated:
9    Up - Unmark current word for debugging, mark parent and continue
10    Down - Mark next word for debugging
11    Trace - Continue execution until end of word displaying
12            debug information
13    Rstack - Display contents of the Rstack
14    Forth - Launch subordinate Forth interpreter
16 An example session:
17 0 > see boot 
18 : boot
19   linefeed parse cr " platform-boot" $find if
20   execute then
21   2drop cr " Booting " type type cr "   ... not supported on this system." type cr
22   ;
23  ok
24 0 > debug boot 
25 Stepper keys: <space>/<enter> Up Down Trace Rstack Forth
26  ok
27 0 > boot 
28 : boot  ( Empty ) 
29 00000000ffe26b08: linefeed  ( a ) 
30 00000000ffe26b10: parse  ( ffec6e24 0 ) 
31 00000000ffe26b18: cr 
32  ( ffec6e24 0 ) 
33 00000000ffe26b20: (")  ( ffec6e24 0 ffe26b30 d ) 
34 00000000ffe26b40: $find  ( ffec6e24 0 ffe31710 ffffffffffffffff ) 
35 00000000ffe26b48: do?branch  ( ffec6e24 0 ffe31710 ) 
36 00000000ffe26b58: execute [sparc64] Booting file 'cdrom' with parameters ''
37 Not a bootable ELF image
38 Not a Linux kernel image
39 Not a bootable a.out image
40 Loading FCode image...
41 Loaded 5936 bytes
42 entry point is 0x4000
43 Evaluating FCode...
44 open isn't unique.
45 Boot load failed.
46  ( Empty ) 
47 00000000ffe26b60: dobranch  ( Empty ) 
48 00000000ffe26bf8: (semis) 
49 [ Finished boot ]  ok
50 0 >