ia64/xen-unstable

changeset 1192:0c707d7680c9

bitkeeper revision 1.806 (4058575bj1znOTlYdipFIG8KLGJwfQ)

pdb.txt, README, README.CD:
Doc fixes.
author kaf24@scramble.cl.cam.ac.uk
date Wed Mar 17 13:49:15 2004 +0000 (2004-03-17)
parents 2d19a1a32eea
children afe38e38642a
files README README.CD docs/pdb.txt
line diff
     1.1 --- a/README	Wed Mar 17 13:42:44 2004 +0000
     1.2 +++ b/README	Wed Mar 17 13:49:15 2004 +0000
     1.3 @@ -1,9 +1,9 @@
     1.4  #############################
     1.5 - __  __            _   ____  
     1.6 - \ \/ /___ _ __   / | |___ \ 
     1.7 -  \  // _ \ '_ \  | |   __) |
     1.8 -  /  \  __/ | | | | |_ / __/ 
     1.9 - /_/\_\___|_| |_| |_(_)_____|
    1.10 + __  __            _   _____ 
    1.11 + \ \/ /___ _ __   / | |___ / 
    1.12 +  \  // _ \ '_ \  | |   |_ \ 
    1.13 +  /  \  __/ | | | | |_ ___) |
    1.14 + /_/\_\___|_| |_| |_(_)____/ 
    1.15                                                
    1.16  #############################
    1.17  
     2.1 --- a/README.CD	Wed Mar 17 13:42:44 2004 +0000
     2.2 +++ b/README.CD	Wed Mar 17 13:49:15 2004 +0000
     2.3 @@ -520,8 +520,9 @@ We supply a handy debug terminal program
     2.4  /usr/local/src/xen-1.0/xeno-1.0.bk/tools/misc/miniterm/
     2.5  This should be built and executed on another machine that is connected
     2.6  via a null modem cable. Documentation is included.
     2.7 -Alternatively, telnet can be used in 'char mode' if the Xen machine is
     2.8 -connected to a serial-port server.
     2.9 +Alternatively, if the Xen machine is connected to a serial-port server
    2.10 +then we supply a dumb TCP terminal client:
    2.11 + 'tools/xenctl/lib/console_client.py <server host> <server port>'
    2.12  
    2.13  
    2.14  Installing Xen / XenoLinux on a RedHat distribution
     3.1 --- a/docs/pdb.txt	Wed Mar 17 13:42:44 2004 +0000
     3.2 +++ b/docs/pdb.txt	Wed Mar 17 13:49:15 2004 +0000
     3.3 @@ -70,7 +70,7 @@ Serial Port Configuration
     3.4  
     3.5    pdb expects to communicate with gdb using the serial port.  Since 
     3.6    this port is often shared with the machine's console output, pdb can
     3.7 -  discriminate its communication by setting the high bit of each char.
     3.8 +  discriminate its communication by setting the high bit of each byte.
     3.9  
    3.10    A new tool has been added to the source tree which splits 
    3.11    the serial output from a remote machine into two streams: 
    3.12 @@ -82,22 +82,12 @@ Serial Port Configuration
    3.13    Note: nsplitd was originally written for the Nemesis project
    3.14    at Cambridge.
    3.15  
    3.16 -  Usage:
    3.17 -    %telnet <hostname> <port>
    3.18 -    This is the console of the remote machine.  You will probably
    3.19 -    want to set telnet in char mode (or create a .telnetrc file).
    3.20 -    <hostname> and <port> are for your instance of nsplitd.
    3.21 -    You should be able to press 'h' to display a list of keyboard
    3.22 -    handlers.  In particular, you should see:
    3.23 -       key 'D' (ascii '44') => enter pervasive debugger
    3.24 -
    3.25    After nsplitd accepts a connection on <port>, it starts listening
    3.26    on port <port + 1>.  Characters sent to the <port + 1> will have the
    3.27    high bit set and vice versa for characters received.
    3.28  
    3.29 -  Note: if you are not using a serial console and can dedicate your
    3.30 -  serial line to pdb messages, then edit pdb_put_char and pdb_get_char 
    3.31 -  in pdb-stub.c to remove the high bit tests.
    3.32 +  You can connect to the nsplitd using
    3.33 +  'tools/xenctl/lib/console_client.py <host> <port>'
    3.34  
    3.35  GDB 6.0
    3.36    pdb has been tested with gdb 6.0.  It should also work with