From 1358358f3de3c58ae584e36ffe6683c09e2828b7 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Wed, 19 Dec 2007 15:53:56 +0000 Subject: doc: Fix serial console command line. Signed-off-by: Keir Fraser --- docs/src/user.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/src/user.tex b/docs/src/user.tex index c12d5f5ed4..c1c0a35e74 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -665,7 +665,7 @@ In order to configure Xen serial console output, it is necessary to add a boot option to your GRUB config; e.g.\ replace the previous example kernel line with: \begin{quote} {\small \begin{verbatim} - kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 + kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 console=com1,vga \end{verbatim}} \end{quote} -- cgit v1.2.3