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 #============================================================================

8

9 #----------------------------------------------------------------------------

10 # Kernel image file.

11 kernel = "mini-os.elf"

12

13 # Initial memory allocation (in megabytes) for the new domain.

14 memory = 32

15

16 # A name for your domain. All domains must have different names.

17 name = "Mini-OS"