annotate extras/mini-os/domain_config @ 7238:971e7c7411b3

Raise an exception if an error appears on the pipes to our children, and make
sure that the child's pipes are closed even under that exception. Move the
handling of POLLHUP to the end of the loop, so that we guarantee to read any
remaining data from the child if POLLHUP and POLLIN appear at the same time.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
author emellor@ewan
date Thu Oct 06 10:13:11 2005 +0100 (2005-10-06)
parents 06d84bf87159
children c176d2e45117
rev   line source
kaf24@6602 1 # -*- mode: python; -*-
kaf24@6602 2 #============================================================================
kaf24@6602 3 # Python configuration setup for 'xm create'.
kaf24@6602 4 # This script sets the parameters used when a domain is created using 'xm create'.
kaf24@6602 5 # You use a separate script for each domain you want to create, or
kaf24@6602 6 # you can set the parameters for the domain on the xm command line.
kaf24@6602 7 #============================================================================
kaf24@6602 8
kaf24@6602 9 #----------------------------------------------------------------------------
kaf24@6602 10 # Kernel image file.
kaf24@6602 11 kernel = "mini-os.elf"
kaf24@6602 12
kaf24@6602 13 # Initial memory allocation (in megabytes) for the new domain.
kaf24@6602 14 memory = 32
kaf24@6602 15
kaf24@6602 16 # A name for your domain. All domains must have different names.
kaf24@6602 17 name = "Mini-OS"