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