debuggers.hg

view extras/mini-os/domain_config @ 0:7d21f7218375

Exact replica of unstable on 051908 + README-this
author Mukesh Rathor
date Mon May 19 15:34:57 2008 -0700 (2008-05-19)
parents
children
line source
1 # -*- mode: python; -*-
2 #============================================================================
3 # Python configuration setup for 'xm create'.
4 # This script sets the parameters used when a domain is created using 'xm create'.
5 # You use a separate script for each domain you want to create, or
6 # you can set the parameters for the domain on the xm command line.
7 #============================================================================
9 #----------------------------------------------------------------------------
10 # Kernel image file.
11 kernel = "mini-os.gz"
13 # Initial memory allocation (in megabytes) for the new domain.
14 memory = 32
16 # A name for your domain. All domains must have different names.
17 name = "Mini-OS"
19 on_crash = 'destroy'