kaf24@firebug.cl.cam.ac.uk f1e7438c35 Handle VMX domains correctly across xend restarts ...

This patch remembers the device model pid across xend restarts and
avoids creating duplicate device model processes.

Also, device models don't inherit socket fds from xend (which are closed
on exec now), which used to prevent xend restarting.

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Xiaohui Xin <xiaohui.xin@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>

2005-08-11 21:02:51 +00:00

..

logging

bitkeeper revision 1.1108.1.8 (40ffc44fV2fs0W-8bRw5B0XcBdmAsw)

2004-07-22 13:42:39 +00:00

xen

Handle VMX domains correctly across xend restarts

2005-08-11 21:02:51 +00:00

Makefile

bitkeeper revision 1.1159.270.4 (42330defA42oRGAfkwmQERgN45uyOg)

2005-03-12 15:42:39 +00:00

setup.py

Add XenSV back into the repository.

2005-07-26 13:56:30 +00:00