aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/domain_config
diff options
context:
space:
mode:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2005-09-02 10:04:42 +0000
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>2005-09-02 10:04:42 +0000
commitd26b1c7f7f64bdb6d424f25e674bfbc6f7d3e6ff (patch)
treea0b3192b908e0450bbe9d03a98e9a53f61016c6a /extras/mini-os/domain_config
parent1bde153f05d9a2f9cda9944e4b644aeaa772cf71 (diff)
downloadxen-d26b1c7f7f64bdb6d424f25e674bfbc6f7d3e6ff.tar.gz
xen-d26b1c7f7f64bdb6d424f25e674bfbc6f7d3e6ff.tar.bz2
xen-d26b1c7f7f64bdb6d424f25e674bfbc6f7d3e6ff.zip
Mini-os fixes from Simon Kagstrom.
Diffstat (limited to 'extras/mini-os/domain_config')
-rw-r--r--extras/mini-os/domain_config17
1 files changed, 17 insertions, 0 deletions
diff --git a/extras/mini-os/domain_config b/extras/mini-os/domain_config
new file mode 100644
index 0000000000..d6635c88f9
--- /dev/null
+++ b/extras/mini-os/domain_config
@@ -0,0 +1,17 @@
+# -*- mode: python; -*-
+#============================================================================
+# Python configuration setup for 'xm create'.
+# This script sets the parameters used when a domain is created using 'xm create'.
+# You use a separate script for each domain you want to create, or
+# you can set the parameters for the domain on the xm command line.
+#============================================================================
+
+#----------------------------------------------------------------------------
+# Kernel image file.
+kernel = "mini-os.elf"
+
+# Initial memory allocation (in megabytes) for the new domain.
+memory = 32
+
+# A name for your domain. All domains must have different names.
+name = "Mini-OS"