debuggers.hg
changeset 16682:ea809f12c813
doc: Fix serial console command line.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Wed Dec 19 15:53:56 2007 +0000 (2007-12-19) |
parents | 35ab2bb25e09 |
children | 458dc123dd02 |
files | docs/src/user.tex |
line diff
1.1 --- a/docs/src/user.tex Wed Dec 19 15:51:01 2007 +0000 1.2 +++ b/docs/src/user.tex Wed Dec 19 15:53:56 2007 +0000 1.3 @@ -665,7 +665,7 @@ In order to configure Xen serial console 1.4 add a boot option to your GRUB config; e.g.\ replace the previous 1.5 example kernel line with: 1.6 \begin{quote} {\small \begin{verbatim} 1.7 - kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 1.8 + kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 console=com1,vga 1.9 \end{verbatim}} 1.10 \end{quote} 1.11