direct-io.hg

view extras/mini-os/domain_config @ 7987:17b98e15bf78

Fix __gpfn_to_mfn() to work correctly when not executed
in the queried domain's context.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Wed Nov 23 13:58:44 2005 +0100 (2005-11-23)
parents 06d84bf87159
children c176d2e45117
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.elf"
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"