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 c50acb7b601a41337ff6dcddbb19fdef60caadca..3b25196df37bf143b157e9d95f37f49cddd68f5a 100644 (file)
--- 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.