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