ia64/xen-unstable

changeset 18624:78af732db9a7

Add documentation on how to build one's own stub domain kernel

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Oct 14 11:12:02 2008 +0100 (2008-10-14)
parents c9ba3d1880be
children 0feedf7dcc73
files stubdom/README
line diff
     1.1 --- a/stubdom/README	Tue Oct 14 11:10:46 2008 +0100
     1.2 +++ b/stubdom/README	Tue Oct 14 11:12:02 2008 +0100
     1.3 @@ -132,3 +132,21 @@ export XEN_TARGET_ARCH=x86_32
     1.4  
     1.5  - bootsplash is supported, but the ioemu backend does not yet support restart
     1.6  for use by the booted kernel.
     1.7 +
     1.8 +
     1.9 +                                Your own stubdom
    1.10 +                                ================
    1.11 +
    1.12 +  By running
    1.13 +
    1.14 +cd stubdom/
    1.15 +make c-stubdom
    1.16 +
    1.17 +  or
    1.18 +
    1.19 +cd stubdom/
    1.20 +make caml-stubdom
    1.21 +
    1.22 +  you can compile examples of C or caml stub domain kernels.  You can use these
    1.23 +and the relevant Makefile rules as basis to build your own stub domain kernel.
    1.24 +Available libraries are libc, libxc, libxs, zlib and libpci.