Module Name:	src
Committed By:	tls
Date:		Tue Dec 14 18:07:42 UTC 2004

Modified Files:
	src/sys/arch/xen/i386: machdep.c

Log Message:
Terminate the domain on RB_HALT, not just on reboot.  This avoids looping
around a cngetc() that will never return while "halted", which is rude,
and which also requires domain 0 to not just restart us, but kill us
first.  Suggestion from Michael Kukat (though this change is not the
same as the one he suggested).

Will cngetc() actually return something when running in domain 0 with a
VGA console?  I don't think it will; if it actually does, we should make
this behaviour depend on whether we're in domain 0 or some other domain.


To generate a diff of this commit:
cvs rdiff -r1.10 -r1.11 src/sys/arch/xen/i386/machdep.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.