From d26b1c7f7f64bdb6d424f25e674bfbc6f7d3e6ff Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 2 Sep 2005 10:04:42 +0000 Subject: Mini-os fixes from Simon Kagstrom. --- extras/mini-os/domain_config | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 extras/mini-os/domain_config (limited to 'extras/mini-os/domain_config') 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" -- cgit v1.2.3