docs: Update xencons- Linux boot parameter to reflect xvc0 is default.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

1 files changed, 3 insertions, 2 deletions

diff --git a/docs/src/user.tex b/docs/src/user.tex
index c2f17e1e5b..78740d27d5 100644
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -4241,10 +4241,11 @@ In addition to the standard Linux kernel boot options, we support:
     \begin{tabular}{l}
       `xencons=off': disable virtual console \\
       `xencons=tty': attach console to /dev/tty1 (tty0 at boot-time) \\
-      `xencons=ttyS': attach console to /dev/ttyS0
+      `xencons=ttyS': attach console to /dev/ttyS0 \\
+      `xencons=xvc': attach console to /dev/xvc0
     \end{tabular}
 \end{center}
-The default is ttyS for dom0 and tty for all other domains.
+The default is ttyS for dom0 and xvc for all other domains.
 \end{description}