diff options
Diffstat (limited to 'extras/mini-os/domain_config')
-rw-r--r-- | extras/mini-os/domain_config | 17 |
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" |