# HG changeset patch
# User sd386@font.cl.cam.ac.uk
# Date 1097601911 0
# Node ID 98b7d1c6a2f7a29b0184c04c9f19d31e8232264b
# Parent  5604871d7e942e9bd4235b0a3d0d711c758e71de
bitkeeper revision 1.1159.1.224 (416c13771ZJIc_iC6ocXee7fZtM0wg)

updated docs


diff -r 5604871d7e94 -r 98b7d1c6a2f7 docs/user.tex
--- a/docs/user.tex	Tue Oct 12 17:16:08 2004 +0000
+++ b/docs/user.tex	Tue Oct 12 17:25:11 2004 +0000
@@ -366,8 +366,6 @@ mkbuildtree} script to add the Xen patch
 two different XenLinux images, one with a ``-xen0'' extension which
 contains hardware device drivers and drivers for Xen's virtual devices,
 and one with a ``-xenU'' extension that just contains the virtual ones.
-The former is intended to be used in the first virtual machine (``domain 0''),
-the latter just has a smaller memory footprint.
 
 The procedure is similar to build the Linux 2.4 port: \\
 \verb!# LINUX_SRC=/path/to/linux2.4/source make linux24!