diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-10-14 11:12:02 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-10-14 11:12:02 +0100 |
commit | edff64340f27869c3ae32f83c3005c30efb15e35 (patch) | |
tree | d67d513221daadb19ba4f0acf1770c0657d78008 /stubdom/README | |
parent | cb9df5c5d6a9ca576ff8682da870872d089267c7 (diff) | |
download | xen-edff64340f27869c3ae32f83c3005c30efb15e35.tar.gz xen-edff64340f27869c3ae32f83c3005c30efb15e35.tar.bz2 xen-edff64340f27869c3ae32f83c3005c30efb15e35.zip |
Add documentation on how to build one's own stub domain kernel
Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Diffstat (limited to 'stubdom/README')
-rw-r--r-- | stubdom/README | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/stubdom/README b/stubdom/README index c50acb7b60..3b25196df3 100644 --- a/stubdom/README +++ b/stubdom/README @@ -132,3 +132,21 @@ export XEN_TARGET_ARCH=x86_32 - bootsplash is supported, but the ioemu backend does not yet support restart for use by the booted kernel. + + + Your own stubdom + ================ + + By running + +cd stubdom/ +make c-stubdom + + or + +cd stubdom/ +make caml-stubdom + + you can compile examples of C or caml stub domain kernels. You can use these +and the relevant Makefile rules as basis to build your own stub domain kernel. +Available libraries are libc, libxc, libxs, zlib and libpci. |