ia64/xen-unstable

changeset 2628:98b7d1c6a2f7

bitkeeper revision 1.1159.1.224 (416c13771ZJIc_iC6ocXee7fZtM0wg)

updated docs
author sd386@font.cl.cam.ac.uk
date Tue Oct 12 17:25:11 2004 +0000 (2004-10-12)
parents 5604871d7e94
children 5acf9e0cea1d
files docs/user.tex
line diff
     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!