ia64/xen-unstable

changeset 1663:23e371e87d2f

bitkeeper revision 1.1041.6.2 (40e52272y6_U6CzuMhfEqO8UT-l_fA)

doc fix
author kaf24@scramble.cl.cam.ac.uk
date Fri Jul 02 08:53:06 2004 +0000 (2004-07-02)
parents 8f8449890369
children 52c04d5d2a8e 0fc610c8aef9
files docs/HOWTOs/XenDebugger-HOWTO
line diff
     1.1 --- a/docs/HOWTOs/XenDebugger-HOWTO	Fri Jul 02 08:51:38 2004 +0000
     1.2 +++ b/docs/HOWTOs/XenDebugger-HOWTO	Fri Jul 02 08:53:06 2004 +0000
     1.3 @@ -77,7 +77,7 @@ Serial Port Configuration
     1.4    one stream (without the high bit) is the console and 
     1.5    one stream (with the high bit stripped) is the pdb communication.
     1.6  
     1.7 -  See:  xeno.bk/tools/nsplitd
     1.8 +  See:  xeno.bk/tools/misc/nsplitd
     1.9  
    1.10    nsplitd configuration
    1.11    ---------------------
    1.12 @@ -107,7 +107,7 @@ Serial Port Configuration
    1.13    characters received.
    1.14  
    1.15    You can connect to the nsplitd using
    1.16 -  'tools/xenctl/lib/console_client.py <host> <port>'
    1.17 +  'tools/misc/xencons <host> <port>'
    1.18  
    1.19  GDB 6.0
    1.20    pdb has been tested with gdb 6.0.  It should also work with