1.1 --- a/tools/debugger/gdb/README	Mon Sep 19 15:43:26 2005 +0000
     1.2 +++ b/tools/debugger/gdb/README	Mon Sep 19 15:43:38 2005 +0000
     1.3 @@ -2,17 +2,28 @@
     1.4  DomU GDB server for 32-bit (PAE and non-PAE) systems
     1.5  ----------------------------------------------------
     1.6  
     1.7 -To build:
     1.8 +Lines marked below with [*] are optional, if you want full
     1.9 +source-level debugging of your kernel image.
    1.10 +
    1.11 +To build the GDB server:
    1.12   1. Run ./gdbbuild from within this directory.
    1.13   2. Copy ./gdb-6.2.1-linux-i386-xen/gdb/gdbserver/gdbserver-xen
    1.14      to your test machine.
    1.15  
    1.16 -To debug a running domain:
    1.17 +To build a debuggable guest kernel image:
    1.18 + 1. cd linux-2.6.12-xenU
    1.19 + 2. ARCH=xen make menuconfig
    1.20 + 3. From within the configurator, enable the following options:
    1.21 +    # Kernel hacking -> Compile the kernel with debug info [*]
    1.22 +                     -> Compile the kernel with frame pointers
    1.23 + 4. (Re)build and (re)install your xenU kernel image.
    1.24 +
    1.25 +To debug a running guest:
    1.26   1. Use 'xm list' to discover its domain id ($domid). 
    1.27   2. Run 'gdbserver-xen 127.0.0.1:9999 --attach $domid'
    1.28   3. Run 'gdb /path/to/vmlinux-syms-2.6.xx-xenU'
    1.29   4. From within the gdb client session:
    1.30 +    # directory /path/to/linux-2.6.xx-xenU [*]
    1.31      # target remote 127.0.0.1:9999
    1.32      # bt
    1.33      # disass
    1.34 - 5. And so on...