From edff64340f27869c3ae32f83c3005c30efb15e35 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 14 Oct 2008 11:12:02 +0100 Subject: Add documentation on how to build one's own stub domain kernel Signed-off-by: Samuel Thibault --- stubdom/README | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'stubdom/README') 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. -- cgit v1.2.3