From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 14 Oct 2008 10:12:02 +0000 (+0100)
Subject: Add documentation on how to build one's own stub domain kernel
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14079
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=edff64340f27869c3ae32f83c3005c30efb15e35;p=xen.git

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

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

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.